Paper recorded by Signals 4 on 2026-10-20 in cs.AI. Abstract reproduced from arXiv; link to the original below.
Published 2026-10-20 on arXiv · recorded by Signals 4 on 2026-10-21
Category: cs.AI · 人工智能 · first seen 2026-10-21
RTL repair benchmarks should measure whether a model can fix broken RTL given a specification. To this end, we construct and hash-bind RTLRepairDataset, 5,784 (broken, fixed) training pairs; RTLRepairBench, 459 held-out cases with 374 syntactic and 85 behavioral mutations; and an evaluation harness supporting simulation and formal equivalence. We then use this infrastructure to identify two measur