GoGoTB：具有规格锚定覆盖率收敛的智能体RTL验证

功能验证占据集成电路（IC）前端工程的主要工作量，而单个漏掉并流片到硅上的缺陷可能触发代价高昂的重新流片。近来的大语言模型（LLM）为自动化这一流程提供了新机会，然而现有基于LLM的方法通过没有共享上下文的独立单轮调用生成每个组件，导致接口不匹配未被察觉，且报告的覆盖率与规格要求脱节。为应对这些挑战，我们提出GoGoTB，一个通过三个子系统实现端到端验证收敛的智能体框架：智能体执行控制层、可演化知识系统与规格锚定的覆盖率收敛。执行控制层在每个工具与阶段边界上将确定性强制与LLM推理分离。知识系统按需分发方法学与设计特定专业知识。覆盖率框架将每个bin锚定到一个具名的规格行为，使每个残留缺口都有可诊断的根因与针对性的补救。在8个寄存器传输级（RTL）设计上无任何人工干预地测试，GoGoTB实现100%的环境生成成功率，平均达到98.4%行覆盖、97.2%分支覆盖、97.0%翻转覆盖与83.2%功能覆盖。在相同基准上，此前没有工作成功生成完整验证环境或取得有意义的覆盖率。