What Do RTL Repair Benchmarks Actually Measure?

arXiv:2610.28595v1 Announce Type: new Abstract: 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 h