Cadence：Conformal系列形式验证工具

        Conformal 工具最早由Verplex Systems开发。Verplex是一家专注于形式验证工具开发的公司，其核心产品是Conformal等效性检查工具。由于其技术的先进性和市场需求，Verplex的 Conformal工具迅速在半导体行业内获得了认可。

        2003 年，Cadence Design Systems收购了Verplex Systems，将Conformal工具纳入其广泛的电子设计自动化(EDA)工具套件中。此后，Cadence继续对Conformal进行改进和优化，扩大了其应用范围，并集成到Cadence的整体设计验证解决方案中。

        现在的Conformal形式验证系列包括Conformal LEC(Logic Equivalence Checking)、Conformal ECO(Engineering Change Orders)、Conformal LP(Low Power)、Conformal CD(Constraint Designer)以及Conformal Verify。

        Conformal LEC用于进行逻辑等价性检查，启动命令如下所示，GUI界面如图1所示。

lec 

图1 Conformal LEC 22.2 GUI

        Conformal ECO用于实现和验证ECO，启动命令如下所示。

lec -eco

        Conformal CD用于验证、优化和提升设计约束，启动命令如下所示，GUI界面如图2所示。

ccd

图2 Conformal CD 22.2 GUI

        Conformal LP用于低功耗设计验证工具，专门用于验证和优化低功耗设计，启动命令如下所示，GUI界面如图3所示。

# Power Aware Equivalency Checks
lec -lp

# Low Power Extended Checks
lec -lp -verify

图3 Conformal LP 22.2 GUI

        Conformal Verify用于进行功能检查，例如HDL (RTL) Rules、Modeling Rules、Predefined Property Checks、Clock Domain Crossing Checks，启动命令如下所示，GUI界面如图4所示。

lec -verify

图4 Conformal Verify 22.2 GUI