Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025
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…
cs.SE2024
Predicting Lemmas in Generalization of IC3
Yuheng Su, Qiusong Yang, Yiwei Ci
The IC3 algorithm, also known as PDR, has made a significant impact in the field of safety model checking in recent years due to its high efficiency, scalability, and completeness.…