CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
Yutong Wu
wyt2000
AI & ML interests
Large Language Models; Formal Verification; Program Synthesis
Organizations
None yet