Saved in:
| Main Authors: | , , , , , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2604.06607 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918440703361024 |
|---|---|
| author | Wang, Yonghao Yin, Yang Lyu, Hongqin Zhou, Jiaxin Chao, Zhiteng Shi, Mingyu Ding, Wenchao Du, Yunlin Ye, Jing Wang, Tiancheng Li, Huawei |
| author_facet | Wang, Yonghao Yin, Yang Lyu, Hongqin Zhou, Jiaxin Chao, Zhiteng Shi, Mingyu Ding, Wenchao Du, Yunlin Ye, Jing Wang, Tiancheng Li, Huawei |
| contents | LLMs can generate SystemVerilog assertions (SVAs) from natural language specs, but single-pass outputs often lack functional coverage due to limited IC design understanding. We propose CoverAssert, an iterative framework that clusters semantic and AST-based structural features of assertions, maps them to specifications, and uses functional coverage feedback to guide LLMs in prioritizing uncovered points. Experiments on four open-source designs show that integrating CoverAssert with AssertLLM and Spec2Assertion improves average improvements of 9.57 % in branch coverage, 9.64 % in statement coverage, and 15.69 % in toggle coverage. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2604_06607 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations Wang, Yonghao Yin, Yang Lyu, Hongqin Zhou, Jiaxin Chao, Zhiteng Shi, Mingyu Ding, Wenchao Du, Yunlin Ye, Jing Wang, Tiancheng Li, Huawei Hardware Architecture LLMs can generate SystemVerilog assertions (SVAs) from natural language specs, but single-pass outputs often lack functional coverage due to limited IC design understanding. We propose CoverAssert, an iterative framework that clusters semantic and AST-based structural features of assertions, maps them to specifications, and uses functional coverage feedback to guide LLMs in prioritizing uncovered points. Experiments on four open-source designs show that integrating CoverAssert with AssertLLM and Spec2Assertion improves average improvements of 9.57 % in branch coverage, 9.64 % in statement coverage, and 15.69 % in toggle coverage. |
| title | CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations |
| topic | Hardware Architecture |
| url | https://arxiv.org/abs/2604.06607 |