arXiv cs.SE· Venkata Krishna Kumar Vedantam·· 3 小时前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 次迭代预算内完成。
来源：arXiv cs.SE · arxiv.org