Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT.

Zhiteng Chao, Yonghao Wang, Xinyu Zhang, Jiaxin Zhou, Tenghui Hua, Husheng Han, Tianmeng Yang, Jianan Mu, Bei Yu, Rui Zhang, Jing Ye, Huawei Li

Browse the full DATE paper archive.