Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization. - Fenghua Wu; Evan Pan; Rahul Kande; Michael Quinn; Aakash Tyagi; David Kebo Houngninou; Jeyavijayan Rajendran; Jiang Hu (CoRR, 2025)

VCDiag: Classifying Erroneous Waveforms for Failure Triage Acceleration. - Minh Luu; Surya Jasper; Khoi Le; Evan Pan; Michael Quinn; Aakash Tyagi; Jiang Hu (CoRR, 2025)

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis. - Surya Jasper; Minh Luu; Evan Pan; Aakash Tyagi; Michael Quinn; Jiang Hu; David Kebo Houngninou (CoRR, 2025)