Yang, Qiusong

AssertCoder: LLM-Based Assertion Generation via Multimodal Specification Extraction

2025 · arXiv (Cornell University)

Assertion-Based Verification (ABV) is critical for ensuring functional correctness in modern hardware systems. However, manually writing high-quality SVAs remains labor-intensive and error-prone. To bridge this gap, we propose AssertCoder, a novel unified framework that automatically …