GoGoTB：首个实现端到端验证闭环的AI驱动RTL验证框架

集成电路前端工程中，功能验证占据大量研发资源，单个遗漏的芯片缺陷可能导致数百万美元的重制成本。传统基于大语言模型的方法存在接口不匹配、覆盖率与规范脱节等问题。为解决这些挑战，研究团队开发了GoGoTB框架，这是首个实现端到端验证闭环的智能代理系统。

该框架包含三大核心子系统：智能执行控制层将确定性执行与LLM推理分离，确保每个工具和阶段边界的可靠性；可演进知识系统按需调度方法和设计专业知识；规范驱动的覆盖率框架将每个覆盖率指标锚定到具体规范行为，使每个未覆盖区域都有可诊断的根因和针对性解决方案。

在完全无人干预的情况下，GoGoTB在8个寄存器传输级设计测试中实现了100%验证环境生成成功率，平均达到98.4%行覆盖率、97.2%分支覆盖率、97.0%翻转覆盖率和83.2%功能覆盖率。此前没有任何工作能在相同基准测试中成功生成完整验证环境或实现有意义的覆盖率指标。该研究为AI驱动的芯片验证自动化开辟了新路径。