arXiv · cs.AI· Venkata Krishna Kumar Vedantam·· 6 小时前
LLM 驱动硬件设计功能覆盖率收敛的独立数据完整性验证
Independent Data-Integrity Verification for LLM-Driven Functional Coverage Closure in Hardware Design
arXiv:2610.21570v1阅读论文 PDF ↗
仅依据论文摘要整理;未读取全文,实验条件、证明与基准细节请核对原文。
作者:Venkata Krishna Kumar Vedantam
研究任务与主要进展
一篇论文提出在 LLM agent 做功能覆盖率收敛时加入独立数据完整性验证:覆盖率从仿真导出的 cocotb-coverage YAML 读取而非采信模型自述,数据正确性由独立于模型的 scoreboard 检查。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出?
- 代码、模型、数据、许可与可用入口是否明确?
- 效果、总成本、失效条件与实际工作流如何验证?
这些是阅读核对问题;材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源:arXiv · cs.AI · arxiv.org