A mutation-testing audit of RTL benchmark testbenches finds RTLLM v2.0 mostly below a 95% fault-kill floor and shows that an output-token cap can reorder a leaderboard.
GRPO with state mutations: Improving LLM-based hardware test plan generation.arXiv preprint arXiv:2601.07593, 2026
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.AR 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
GateTruth: Auditing the Rigor of RTL Design Benchmarks via Mutation Testing
A mutation-testing audit of RTL benchmark testbenches finds RTLLM v2.0 mostly below a 95% fault-kill floor and shows that an output-token cap can reorder a leaderboard.