Agentic AI-based Coverage Closure for Formal Verification

📰 ArXiv cs.AI

Agentic AI-based workflow uses LLM-enabled GenAI for automated coverage analysis in formal verification

advanced Published 25 Mar 2026

Action Steps

Utilize LLM-enabled GenAI to analyze coverage data
Identify coverage gaps and generate tests to close them
Integrate the agentic AI-driven workflow into the formal verification process
Evaluate the effectiveness of the workflow in achieving coverage closure

Who Needs to Know This

Formal verification teams and IC development teams can benefit from this approach as it automates coverage analysis and identifies gaps, improving the efficiency of the verification process

Key Insight

💡 Agentic AI can automate coverage analysis and improve the efficiency of formal verification

Key Takeaways

Agentic AI-based workflow uses LLM-enabled GenAI for automated coverage analysis in formal verification

Full Article

Title: Agentic AI-based Coverage Closure for Formal Verification

Abstract:
arXiv:2603.03147v2 Announce Type: replace Abstract: 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 t

Read full paper → ← Back to Reads