AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

Enyuan Tian, Yiwei Ci, Qiusong Yang +2

Assertion-Based Verification (ABV) is critical for ensuring functional correctness in modern hardware systems. However, manually writing high-quality SVAs remains labor-intensive a…