works on
agentic framework 1automated test generation 1coverage closure 1large language models 1rtl verification 1

From the 1 of 1 linked paper with an AI index.

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

Xin Xin, Jincheng Lou, Junhui Li +11

GoGoTB is an agentic framework that uses large language models to automatically generate complete verification environments for RTL designs and achieve specification‑grounded cover…