RTL修复基准揭示测量混淆

Yeyin Eva Zhu 与 Rishabh Ranawat 发布 RTLRepairDataset（5,784 对 broken/fixed 训练样本）、RTLRepairBench（459 个留出案例，其中 374 个语法变异、85 个行为变异）及支持仿真与形式等价验证的评测框架，并据此指出 RTL 修复基准存在两项测量混淆。 该研究称，现有基准测到的结果受到混淆因素影响，因此需要区分语法变异与行为变异两类案例来评估修复能力。

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

还没有足够的连续观测数据，暂不绘制趋势。