GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

GoGoTB：基于规范锚定覆盖率闭环的智能体 RTL 验证框架

Functional verification dominates integrated circuit (IC) front-end engineering effort, and a single missed bug that escapes to silicon can trigger a costly respin. Recent large language models (LLMs) offer new opportunities to automate this process, yet existing LLM-based approaches generate each component through independent single-turn calls with no shared context, leaving interface mismatches undetected and reported coverage disconnected from specification requirements.

功能验证在集成电路（IC）前端工程中占据了主要工作量，任何一个遗漏并流片到硅片的漏洞都可能导致昂贵的重新流片（respin）。近期的大语言模型（LLM）为自动化这一过程提供了新机遇，然而现有的基于 LLM 的方法通常通过独立的单轮调用来生成各个组件，缺乏共享上下文，导致接口不匹配问题无法被检测，且报告的覆盖率与规范要求脱节。

To address these challenges, we present GoGoTB, an agentic framework that achieves end-to-end verification closure through three subsystems: an agentic execution control layer, an evolvable knowledge system, and specification-grounded coverage closure. The execution control layer separates deterministic enforcement from LLM reasoning at every tool and stage boundary. The knowledge system dispatches methodology and design-specific expertise on demand. The coverage framework anchors every bin to a named specification behavior so that each residual gap has a diagnosable root cause and a targeted remedy.

为了解决这些挑战，我们提出了 GoGoTB，这是一个通过三个子系统实现端到端验证闭环的智能体框架：智能体执行控制层、可演进知识系统以及基于规范锚定的覆盖率闭环。执行控制层在每个工具和阶段边界将确定性强制执行与 LLM 推理分离开来。知识系统按需分发方法论和特定设计的专业知识。覆盖率框架将每个覆盖点（bin）锚定到具体的规范行为上，从而使每一个剩余的覆盖缺口都有可诊断的根本原因和针对性的补救措施。

Tested on 8 register transfer level (RTL) designs without any human intervention, GoGoTB achieves 100% environment generation success and averages 98.4% line, 97.2% branch, 97.0% toggle, and 83.2% functional coverage. No prior work successfully generates a complete verification environment or achieves meaningful coverage on the same benchmarks.

在 8 个寄存器传输级（RTL）设计上进行测试且无需任何人工干预的情况下，GoGoTB 实现了 100% 的环境生成成功率，并平均达到了 98.4% 的行覆盖率、97.2% 的分支覆盖率、97.0% 的翻转（toggle）覆盖率以及 83.2% 的功能覆盖率。此前没有任何研究能在相同的基准测试中成功生成完整的验证环境或达到如此显著的覆盖率。