Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces SVA Generator, a data-centric framework that leverages LLMs to translate natural language descriptions into executable SystemVerilog Assertions (SVAs) for IC verification. The framework employs AST-grounded constraint injection and automated supervision to enforce structural consistency and reduce hallucinations. Evaluation on a new benchmark suite, stratified by AST depth, demonstrates that SVA Generator achieves significantly higher semantic equivalence rates compared to general LLM baselines, especially for deeper, more complex assertions.
LLMs can now generate SystemVerilog Assertions with significantly improved semantic correctness (+22.7 pp SER on average), thanks to AST-grounded constraint injection and automated supervision.
Functional verification remains a dominant cost in modern IC development, and SystemVerilog Assertions (SVAs) are critical for simulation-based monitoring and formal property checking. However, writing SVAs by hand is time-consuming and error-prone. Directly prompting general-purpose large language models (LLMs) is also unreliable: the generated properties are often syntactically invalid or semantically incorrect, and the problem is exacerbated by scarce, high-quality domain training data. We present SVA Generator, a data-centric framework that translates natural-language SVA Descriptions (SVADs) into executable SVAs. It uses AST-grounded constraint injection and an automated supervision pipeline that enforces structural consistency and reduces hallucinations via de-duplication and constraint checks. To enable rigorous evaluation, we introduce a benchmark suite stratified by AST depth and use formal property equivalence checking to quantify semantic correctness separately from syntax validity, by checking mutual implication between the generated and reference properties under the same clocking and environment assumptions. Across all difficulty tiers, SVA Generator achieves comparable Syntax Pass Rate (SPR) to strong general LLM baselines, while delivering substantially higher Semantic Equivalence Rate (SER) on deeper tiers: +24.5 pp on D2, +26.0 pp on D3, and +17.5 pp on D4 relative to the best-performing general LLM, corresponding to a +22.7 pp SER improvement on average over D2--D4. These results highlight that high-fidelity data construction and depth-stratified benchmarking are key to reliable, semantics-preserving SVA generation.