GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
DGX agentarXiv:2607.26181v1 Announce Type: new Abstract: Functional verification dominates integrated circuit (IC) front-end engineering effort, and a single missed bug that escapes to silicon can trigger a co