Agentic AI-based Coverage Closure for Formal Verification

ABSTRACT

This research introduces an agentic AI workflow for improving coverage closure in integrated circuit verification. The system uses LLM-powered agents to analyze verification coverage gaps and automatically generate additional formal properties. By iteratively refining verification constraints, the agent improves coverage without requiring extensive manual intervention. The study demonstrates how agentic systems can accelerate complex engineering workflows.