Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
The work proposes a verification-centric Knowledge Graph built from structured data (IRs) derived from specifications, RTL code, and formal tool feedback. This graph enables a multi-agent workflow to generate SystemVerilog Assertions (SVAs) through three refinement loops: syntax repair, CEX correction, and coverage augmentation. The system aims to provide traceable context for high-quality assertion synthesis.