AIBullisharXiv – CS AI · 6h ago6/10
🧠
Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification
Researchers propose a Knowledge Graph-based approach to improve AI-assisted formal verification of hardware designs, addressing the challenge of generating accurate SystemVerilog Assertions from natural-language specifications. By structuring design information from RTL code, specifications, and tool feedback into a queryable knowledge graph, the method achieves higher compilation success rates and formal coverage (78.5%-99.4%) while reducing syntax errors, though complex temporal reasoning remains challenging.