rtl-verification

GoGoTB is an agentic framework for end-to-end RTL verification that achieves specification-grounded coverage closure, reaching high coverage on 8 designs without human intervention.

This paper presents STG, a structured testbench generation framework for LLM-driven hardware design workflows that reduces token cost and improves verification reliability compared to existing prompt-based approaches.