前进，才知道自己的渺小

Genus使用设计信息结构（Design Information Hierarchy）对数据库进行建模，其中包括各种对象以及其属性，设计信息结构与Linux的目录结构非常相似，如图1所示。

本文是对Conformal Equivalence Checking User Guide中附录实验的翻译（有删改），实验文件可见安装目录Conformal/share/cfm/lec/demo/doc_testcase，该目录下还提供了其他案例。

Conformal是Cadence的一个形式验证工具系列，包含Conformal LEC(Logic Equivalence Checking)、Conformal ECO(Engineering Change Orders)、Conformal LP(Low Power)、Conformal CD(Constraint Designer)以及Conformal Verify。本文将介绍Conformal的两种命令输入模式。

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