arXiv cs.AI· Venkata Krishna Kumar Vedantam·· 2 天前AI 评分22
硬件设计中 LLM 驱动功能覆盖率收敛的独立数据完整性验证
Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design
AI 导读
一个设计无关的覆盖率收敛智能体在异步 FIFO、UART 发送器和 AHB2APB 桥三种 RTL 设计上，将覆盖率从 91.7%、88.9% 和 67.4% 提升至 100%，每次运行均在 8 次迭代预算内完成。
正文 · AI 翻译
摘要：LLM 智能体可以编写定向测试来闭合功能覆盖率，但覆盖率只能表明某个状态被到达，而不能表明到达该状态过程中的数据是正确的。这在验证领域是一个早已为人所知的观点，我们并不声称它是新的。我们描述了一个小型覆盖率闭合智能体，将其应用于 LLM 循环：覆盖率从仿真自身导出的报告（cocotb-coverage YAML）中读取，绝不采信模型的陈述，数据完整性由独立于模型的记分板检查。在三个架构上不同的 RTL 设计（异步 FIFO、UART 发送器和 AHB2APB 桥）上，该智能体使用一个与设计无关的智能体，在每次记录的运行中都在其 8 次迭代预算内将覆盖率从 91.7%、88.9% 和 67.4% 提升到 100%。附加到 FIFO 基础测试平台上的反应式记分板监视器还在作者自己的激励代码中发现了一个跨时钟域缺陷。该监视器尚未附加到 LLM 生成的测试上，因此它们的数据完整性未得到独立检查；对单个 FIFO 测试进行的一次人工检查仅作为初步结果报告。我们列出了这一证据的弱点：三个设计、没有基线、没有消融实验，且记录的运行来自多个智能体检查点。
| 学科： | 硬件架构 (cs.AR)；人工智能 (cs.AI)；软件工程 (cs.SE) |
| 引用为： | arXiv:2610.21570 [cs.AR] |
| （或 arXiv:2610.21570v1 [cs.AR] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.21570 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Venkata Krishna Kumar Vedantam [查看电子邮件]
[v1]
2026年10月15日星期四 09:24:01 UTC（43 KB）
来源：arXiv cs.AI · arxiv.org