@misc{indiciae79f1640d99ec,
  title = {GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure},
  author = {Xin Xin and Jincheng Lou and Junhui Li and Jinglin Yan and Panda Xiao and Di Wu and Haixiao Li and Weicong Lu and Weijian Fan and Xinyu Qu and Yuxiang Zhao and Min Yu and Zhixiong Di and Yibo Lin},
  year = {2026},
  url = {https://arxiv.org/abs/2607.26181},
  note = {Source identifier: 2607.26181}
}