FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification.

Gwok-Waa Wan Shengchu Su Ruihu Wang Qixiang Chen Sam-Zaak Wong Mengnv Xing Hefei Feng Yubo Wang Yinan Zhu Jingyi Zhang Jianmin Ye Xinlai Wan Tao Ni Qiang Xu 0001 Nan Guan Zhe Jiang 0004 Xi Wang 0009 Yang Jun FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification. 2025 July abs/2507.04276 CoRR https://doi.org/10.48550/arXiv.2507.04276 db/journals/corr/corr2507.html#abs-2507-04276 streams/journals/corr