基于 Agentic AI 的形式验证覆盖率收敛

覆盖率收敛是集成电路（IC）开发流程的关键要求，也是验证签核的关键指标。然而，传统穷举式方法常无法在项目周期内达到完全覆盖。本研究提出一个 Agentic AI 驱动的工作流，利用大语言模型（LLM）赋能的生成式 AI（GenAI）自动化形式验证的覆盖率分析、识别覆盖缺口并生成所需的形式属性。该框架通过系统处理覆盖空洞提升验证效率。对开源与内部设计的基准测试显示覆盖指标可测量地提升，改进幅度与设计复杂度相关。对比分析验证了该方法的有效性。这些结果凸显基于 Agentic AI 的技术在提升形式验证生产率、支持全面覆盖率收敛方面的潜力。