基于代理AI的覆盖闭合：用于形式化验证
人工智能
2026-03-25 v2
摘要
覆盖闭合是集成芯片（IC）开发过程中的关键要求，是验证签字的关键指标。然而，传统的穷举方法往往无法在项目时间表内实现完整覆盖。本研究提出了一种基于 agentic AI 的驱动式工作流程，利用大语言模型（LLM）启用生成式 AI（GenAI）自动化覆盖分析，用于形式化验证，识别覆盖缺口并生成所需的形式化属性。该框架通过系统性地解决覆盖缺口，加速验证效率。基准测试开源和内部设计后，覆盖指标实现可衡量的提升，提升程度与设计复杂度相关。比较分析验证了该方法的有效性。这些结果凸显了基于 agentic AI 技术在提高形式化验证生产力和支持全面覆盖闭合方面的潜力。
关键词
引用
@article{arxiv.2603.03147,
title = {Agentic AI-based Coverage Closure for Formal Verification},
author = {Sivaram Pothireddypalli and Ashish Raman and Deepak Narayan Gadde and Aman Kumar},
journal= {arXiv preprint arXiv:2603.03147},
year = {2026}
}
备注
To appear at the IEEE International Conference on Intelligent Processing, Hardware, Electronics, and Radio Systems (CIPHER), February 13-15, 2026, NIT Jalandhar, India