论文提出LLM覆盖闭合Agent的独立数据完整性验证

Venkata Krishna Kumar Vedantam 提交 arXiv 论文，提出在 LLM agent 做硬件功能覆盖率收敛时加入独立数据完整性验证：覆盖率从仿真导出的 cocotb-coverage YAML 读取而非采信模型自述，数据正确性由独立于模型的 scoreboard 检查。 在三个架构不同的 RTL 设计（异步 FIFO、UART 发送器、AHB2APB 桥）上，使用同一个与设计无关的 agent，每次记录的运行都在 8 轮迭代预算内将覆盖率从 91.7%、88.9% 和 67.4% 提升到 100%。 论文同时列出证据局限：只有三个设计、无基线、无消融实验，且记录的运行来自多个 agent 检查点。监控器尚未接入 LLM 生成的测试，这些测试的数据完整性未被独立检查；对一个 FIFO 测试的一次人工检查仅作为初步结果。

AI 根据报道生成 · 3 小时前更新