arXiv · cs.AI· Venkata Krishna Kumar Vedantam·· 12 天前AI 评分28
硬件设计中 LLM 驱动功能覆盖率收敛的独立数据完整性验证
Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design
来源与原文
arXiv · cs.AI
作者:Venkata Krishna Kumar Vedantam
发布时间:(北京时间)
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.21570v1
本站目前仅有 AI 导读与摘要,未展示原文正文;技术细节、代码和完整结论请查看原始来源。
AI 导读
arXiv 论文提出一个 LLM 覆盖率收敛 agent,用 cocotb-coverage YAML 从仿真报告读取覆盖率,并由独立于模型的 scoreboard 检查数据完整性。在异步 FIFO、UART 发射器和 AHB2APB bridge 三种 RTL 设计上,该 agent 在 8 次迭代预算内将覆盖率从 91.7%、88.9% 和 67.4% 提升至 100%。作者承认证据存在局限:仅三种设计、无基线、无消融实验,且 LLM 生成测试的数据完整性尚未经独立校验。
来源:arXiv · cs.AI · arxiv.org