A New Benchmark for the Appropriate Evaluation of RTL Code Optimization. - Yao Lu 031; Shang Liu 006; Hangan Zhou; Wenji Fang; Qijun Zhang; Zhiyao Xie (CoRR, 2026)