arXiv cs.AI / cs.LG 最新· Yeyin Eva Zhu·· 19 小时前AI 评分62
RTL 修复基准究竟测了什么，作者构建 RTLRepairBench 并指出两类测量混淆
What Do RTL Repair Benchmarks Actually Measure?
AI 导读
作者构建了 RTL 修复评测数据集 RTLRepairDataset（5,784 个缺陷与修复配对）和 RTLRepairBench（459 个留出用例，含 374 个语法变异和 85 个行为变异），并配套支持仿真与形式等价的评测 harness。
标题与摘要由 AI 辅助生成，事实与观点以原文为准。
来源：arXiv cs.AI / cs.LG 最新 · arxiv.org
本站标题、摘要与推荐理由由 AI 辅助生成；原文版权归来源所有。