GoGoTB：具有基于规范的覆盖范围关闭的代理 RTL 验证

arXiv:2607.26181v1 公告类型：新 摘要：功能验证在集成电路 (IC) 前端工程工作中占主导地位，而逃逸到芯片中的单个错过的错误可能会触发代价高昂的重新设计。最近的大型语言模型 (LLM) 提供了自动化此过程的新机会，但现有的基于 LLM 的方法通过独立的单轮调用生成每个组件，没有共享上下文，导致接口不匹配未被检测到，报告的覆盖范围与规范要求脱节。为了应对这些挑战，我们提出了 GoGoTB，这是一个代理框架，它通过三个子系统实现端到端验证收敛：代理执行控制层、可进化的知识系统和基于规范的覆盖收敛。执行控制层在每个工具和阶段边界将确定性执行与 LLM 推理分开。知识系统根据需要调度方法论和特定设计的专业知识。覆盖框架将每个 bin 锚定到指定的规范行为，以便每个剩余间隙都有可诊断的根本原因和有针对性的补救措施。在没有任何人为干预的情况下对 8 个寄存器传输级 (RTL) 设计进行测试，GoGoTB 实现了 100% 的环境生成成功率，平均线数为 98.4%、分支数为 97.2%、切换数为 97.0%、功能覆盖率为 83.2%。先前的工作没有成功地生成完整的验证环境或在相同的基准上实现有意义的覆盖。