TY  - RPRT
TI  - GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
AU  - Xin Xin
AU  - Jincheng Lou
AU  - Junhui Li
AU  - Jinglin Yan
AU  - Panda Xiao
AU  - Di Wu
AU  - Haixiao Li
AU  - Weicong Lu
AU  - Weijian Fan
AU  - Xinyu Qu
AU  - Yuxiang Zhao
AU  - Min Yu
AU  - Zhixiong Di
AU  - Yibo Lin
PY  - 2026
UR  - https://arxiv.org/abs/2607.26181
ID  - 2607.26181
ER  -