GateTruth: Auditing the Rigor of RTL Design Benchmarks via Mutation Testing

Meet Bhadra

Benchmarks for evaluating large language models on register-transfer-level (RTL) hardware design have proliferated rapidly, yet none reports having applied mutation testing, an est…