论文10:11RTLRepairBench:考察 RTL 修复基准究竟在测什么搞硬件/RTL 生成的朋友看下:这篇用 459 个测试用例说明现有修复基准可能没测到你以为的东西,还开源了整套数据和评估框架。#RTLRepairBench#RTL#形式化验证#LLM评测aarXiv cs.AI@Yeyin Eva Zhu, Rishabh Ranawat原文稍后读已读值得跟进有用关注 RTLRepairBench