vix.ing
·
top
·
new
·
best
·
stats
·
spec
Jincheng Lou
GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure
2026/07/28 by
Xin Xin
,
Jincheng Lou
,
Junhui Li
+11
Computer Science
·
#cs.AI