GoGoTB：面向基于规范的覆盖率闭合的 Agentic RTL 验证

英文标题：GoGoTB: Agentic RTL Verification with Specification-Grounded Coverage Closure

该论文以 GoGoTB 为题，探讨利用 Agentic 方法开展 RTL 功能验证，并实现以规范为依据的覆盖率闭合。论文指出，功能验证占据了集成电路（IC）前端工程工作的大部分投入，而一个遗漏并最终流片的缺陷可能导致代价高昂的重新流片。作者认为，近年来的大语言模型（LLM）为自动化这一流程带来了新的机会。该工作以 arXiv:2607.26181v1 形式发布。

2.1 KB 461 B 612 B 380 B 9.1 KB 32.7 KB 22.8 KB 24.2 KB 34.7 KB