Meet Bhadra

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

GateTruth, a mutation-testing engine and methodology for auditing RTL benchmark testbench rigor, is introduced and it is argued mutation-kill certification should become a standard reporting requirement for RTL-generation benchmarks generally.