GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

Xin Xin, Jincheng Lou, Junhui Li +11

GoGoTB is an agentic framework that uses large language models to automatically generate complete verification environments for RTL designs and achieve specification‑grounded cover…