04:00
2026-07-31
arxiv.org
artificial-intelligence
GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
Researchers introduced GoGoTB, an agentic framework for register transfer level (RTL) verification that achieves specification-grounded coverage closure. In tests on 8 RTL designs without human interv…