GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

Short summary

GoGoTB is an agentic LLM framework for end-to-end RTL verification that separates deterministic enforcement from LLM reasoning, dispatches domain knowledge on demand, and anchors coverage bins to specification behaviors. Tested on 8 RTL designs with no human intervention, it achieves 100% environment generation success and near-complete line, branch, and toggle coverage. No prior work has generated a complete verification environment or achieved meaningful coverage on the same benchmarks.

• •Agentic framework for automated RTL verification with spec-grounded coverage
• •Achieves 98.4% line, 97.2% branch, 97.0% toggle coverage on 8 designs with no human intervention
• •First system to generate complete verification environments end-to-end

Generated with AI, which can make mistakes.