Conformal LEC逻辑等价性检查介绍和参考脚本

一、Conformal EC介绍

Cadence Conformal Equivalence Checker，就是常说的LEC，可以用来验证RTL、门级网表、甚至spice网表的逻辑等价性。

分为三个产品：Conformal L、Conformal XL、Conformal GXL。L是功能性检查，XL支持复杂数据通路的综合和APR优化，GXL支持定制的stdcell和定制memory的检查。

二、Conformal EC的使用流程图

Conformal的使用流程图如下：

在setup模式下，读入库、golden设计、有修改的设计，并指定一些option。在lec模式下，进行映射和对比设计，确认两个设计是否逻辑等价。

三、Conformal EC的两种命令模式

Conformal分为vpx模式和tcl模式。默认是vpx模式。可以通过命令tclmode和vpxmode进行切换。

四、自动产生Conformal EC的do文件

do文件是conformal的脚本文件，可以由综合工具（RTL Compiler/Genus）自己产生（write_do_lec），也可以手写。

> write_hdl -lec > top_syn.v> write_do_lec -revised_design top_syn.v > lec.do

然后，直接，