Agentic AI-based Coverage Closure for Formal Verification

Sivaram Pothireddypalli, Ashish Raman, Deepak Narayan Gadde, Aman Kumar
3/3/2026
cs.AI

No confident code implementation found for this paper. 1 possible match can be shown below.

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 the required formal properties. The framework accelerates verification efficiency by systematically addressing coverage holes. Benchmarking open-source and internal designs reveals a measurable increase in coverage metrics, with improvements correlated to the complexity of the design. Comparative analysis validates the effectiveness of this approach. These results highlight the potential of agentic AI-based techniques to improve formal verification productivity and support comprehensive coverage closure.

View on arXivView PDF

Code Implementations

No confident code match yet

We couldn't find an author-owned or strongly-evidenced community implementation for this paper. 1 weaker match is hidden by default — verify before relying on them.

No code implementations found yet.

Know of an implementation? Let us know in the comments below!

Similar Papers

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification

83% match2026

A Multi-Agent Generative AI Framework for IC Module-Level Verification Automation

80% match2025

The Fusion of Large Language Models and Formal Methods for Trustworthy AI Agents: A Roadmap

79% match2024

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware

79% match1 repo442024

Veri-Sure: A Contract-Aware Multi-Agent Framework with Temporal Tracing and Formal Verification for Correct RTL Code Generation

79% match2026

PRO-V-R1: Reasoning Enhanced Programming Agent for RTL Verification

78% match1 repo362025

Cite this paper

@article{pothireddypalli2026agentic,
  title  = {Agentic AI-based Coverage Closure for Formal Verification},
  author = {Sivaram Pothireddypalli and Ashish Raman and Deepak Narayan Gadde and Aman Kumar},
  year   = {2026},
  eprint = {2603.03147},
  archivePrefix = {arXiv},
  url    = {http://arxiv.org/abs/2603.03147v1}
}

Add a badge to your README

Shows whether official code is linked for this paper.

Code of Paper badge
[![Code of Paper](https://codeofpaper.com/badge/2603.03147.svg)](https://codeofpaper.com/paper/2603.03147)

Discussion