RTL优化不再只靠改写代码：Dr. RTL在20个真实设计上把时序违例平均压低21.3%
寄存器传输级（RTL）代码的优化长期依赖人工改写，而现有评测多在人为退化的设计上、用较弱的综合流程衡量收益，难以说明改写是否真能超过商用综合工具。Dr. RTL把时序分析、并行改写与商用综合、顺序等价性检查串成闭环，并把成功与失败的改写经验沉淀为可复用的模式—策略技能。在20个原始人工编写的RTL设计上，它相对商用综合平均把最差负裕量（WNS）改善21.3%、总负裕量（TNS）改善16.9%，面积减少5.8%，平均顺序等价性检查通过率为86%。