TY  - RPRT
TI  - FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification
AU  - Gwok-Waa Wan
AU  - Shengchu Su
AU  - Ruihu Wang
AU  - Qixiang Chen
AU  - Sam-Zaak Wong
AU  - Mengnv Xing
AU  - Hefei Feng
AU  - Yubo Wang
AU  - Yinan Zhu
AU  - Jingyi Zhang
AU  - Jianmin Ye
AU  - Xinlai Wan
AU  - Tao Ni
AU  - Qiang Xu
AU  - Nan Guan
AU  - Zhe Jiang
AU  - Xi Wang
AU  - Yang Jun
PY  - 2025
UR  - https://arxiv.org/abs/2507.04276
ID  - 2507.04276
ER  -