ChatModel: Automating Reference Model Design and Verification with LLMs. - Jianmin Ye; Tianyang Liu; Qi Tian; Shengchu Su; Zhe Jiang; Xi Wang (CoRR, 2025)

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; et al. (CoRR, 2025)