AI RESEARCH
Agentic AI-based Coverage Closure for Formal Verification
arXiv CS.AI
•
ArXi:2603.03147v2 Announce Type: replace Coverage closure is a critical requirement in Integrated Chip (IC) development process and key metric for verification sign-off. However, traditional exhaustive approaches often fail to achieve full coverage within project timelines. This study presents an agentic AI-driven workflow that utilizes Large Language Model (LLM)-enabled Generative AI (GenAI) to automate coverage analysis for formal verification, identify coverage gaps, and generate the required formal properties.