Bo-Dong Hou

When Is RTL Better? Auditing Evaluation Stability with Tool-Grounded Requirement Profiles

RTL-generation studies increasingly report functional correctness and post-synthesis quality, yet the evaluator itself is rarely treated as an experimental variable. A candidate can appear better when a security rule, protocol obligation, target context, feasibility gate, uncertainty policy, or provenance constraint is...