# RTLREX

当原始RTL与设计文档缺失、只剩门级网表或完整真值表时，RTLREX让大语言模型在专用工具之间调度分析、生成候选RTL，并用独立等价性检查确认结果。在ICCAD 2022 CAD Contest Problem A的30个基准上，它全部恢复出等价的高层RTL，覆盖超过WolFEx的26个；在两者都恢复的26个基准上，平均语法代价比WolFEx低20.5%。

当原始RTL与设计文档缺失、只剩门级网表或完整真值表时，RTLREX让大语言模型在专用工具之间调度分析、生成候选RTL，并用独立等价性检查确认结果。在ICCAD 2022 CAD Contest Problem A的30个基准上，它全部恢复出等价的高层RTL，覆盖超过WolFEx的26个；在两者都恢复的26个基准上，平均语法代价比WolFEx低20.5%。