GoGoTB: Agentic Framework for RTL Verification with Coverage Closure

A recent paper on arXiv introduces GoGoTB, a novel framework designed for comprehensive RTL verification, overcoming the shortcomings of current LLM-based methods. This framework comprises three main components: an agentic execution control layer, an adaptable knowledge system, and a coverage closure grounded in specifications. The execution control layer differentiates between deterministic enforcement and LLM reasoning at every tool and stage boundary. Meanwhile, the knowledge system provides expertise tailored to methodology and design as needed. Lastly, the coverage framework guarantees that the reported coverage aligns with specification requirements. The research is authored by a team of researchers and can be accessed on arXiv.