ChatSVA: Bridging SVA Generation for Hardware Verification via Task-Specific LLMs

TL;DR

ChatSVA is a novel multi-agent system that significantly improves automated SystemVerilog Assertion generation for hardware verification, achieving high accuracy and coverage with minimal domain-specific data.

Contribution

It introduces a multi-agent framework and dataset generation method that set new state-of-the-art results in automated SVA generation for hardware verification.

Findings

Achieves 98.66% syntax and 96.12% functional pass rates.

Generates 139.5 SVAs per design with 82.50% function coverage.

Outperforms previous SOTA by 33.3 percentage points in correctness.

Abstract

Functional verification consumes over 50% of the IC development lifecycle, where SystemVerilog Assertions (SVAs) are indispensable for formal property verification and enhanced simulation-based debugging. However, manual SVA authoring is labor-intensive and error-prone. While Large Language Models (LLMs) show promise, their direct deployment is hindered by low functional accuracy and a severe scarcity of domain-specific data. To address these challenges, we introduce ChatSVA, an end-to-end SVA generation system built upon a multi-agent framework. At its core, the AgentBridge platform enables this multi-agent approach by systematically generating high-purity datasets, overcoming the data scarcity inherent to few-shot scenarios. Evaluated on 24 RTL designs, ChatSVA achieves 98.66% syntax and 96.12% functional pass rates, generating 139.5 SVAs per design with 82.50% function coverage. This represents a 33.3 percentage point improvement in functional correctness and an over 11x enhancement in function coverage compared to the previous state-of-the-art (SOTA). ChatSVA not only sets a new SOTA in automated SVA generation but also establishes a robust framework for solving long-chain reasoning problems in few-shot, domain-specific scenarios. An online service has been publicly released at https://www.nctieda.com/CHATDV.html.