TY  - RPRT
TI  - FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware
AU  - Minwoo Kang
AU  - Mingjie Liu
AU  - Ghaith Bany Hamad
AU  - Syed Suhaib
AU  - Haoxing Ren
PY  - 2024
UR  - https://arxiv.org/abs/2410.23299
ID  - 2410.23299
ER  -