Insights from Rights and Wrongs: A Large Language Model for Solving Assertion Failures in RTL Design.

Jie Zhou, Youshu Ji, Ning Wang, Yuchen Hu, Xinyao Jiao, Bingkun Yao, Xinwei Fang, Shuai Zhao, Nan Guan, Zhe Jiang

Browse the full DAC paper archive.