0.0.0.0/0是什么意思

分为三个产品：Conformal L、Conformal XL、Conformal GXL，GXL支持定制的stdcell和定制memory的检查，对于简单的设计， ，L是功能性检查，可以用来验证RTL、门级网表、甚至spice网表的逻辑等价性，Cadence Conformal Equivalence Checker，。

XL支持复杂数据通路的综合和APR优化，就是常说的LEC。

读入库、golden设计、有修改的设计，在setup模式下，并指定一些option。

通过GUI来做LEC也是可以的。