Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization
Fenghua Wu, Evan Pan, Rahul Kande, Michael Quinn, Aakash Tyagi, D. K. Houngninou, Jeyavijayan Rajendran, Jiang Hu