GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

GoGoTB introduces an agentic framework for RTL verification that uses an execution control layer to decouple deterministic enforcement from LLM reasoning. The system employs an evolvable knowledge system and specification-grounded coverage closure to prevent interface mismatches and align coverage metrics with design requirements.