conformal和LEC的关系

Conformal是Cadence公司推出的一款形式验证工具，它有时也被称为LEC（Logical Equivalence Checking）。LEC 是 Conformal 的一个主要应用领域，用于验证两个电子设计（通常是RTL设计和综合后的网表）在逻辑上是否等效。

以下是有关 Cadence Conformal 和 LEC 的一些信息：

1. Cadence Conformal：Conformal 是 Cadence 公司的一款形式验证工具。它的主要用途之一是执行逻辑等效性检查，以确保设计的两个版本（通常是原始RTL设计和综合后的网表）在逻辑上是等效的。Conformal 提供了丰富的功能和选项，用于检查设计的正确性，包括时序约束验证、组合逻辑优化等。

2. LEC（Logical Equivalence Checking）：LEC 是 Conformal 的一部分，是该工具的核心功能之一。LEC 用于验证两个不同的电子设计描述在逻辑上是否等效。它通过比较两个设计的逻辑行为，而不是逐个比较门级网表，来检查它们是否在功能上等效。LEC 在验证过程中使用形式验证技术，以确保两个版本的设计在逻辑上一致。

所以，Conformal 是 Cadence 公司的形式验证工具，LEC 是 Conformal 中的一个应用领域，主要用于逻辑等效性检查。通过使用 LEC，工程师可以确保设计的两个版本在逻辑上是等效的，从而提高设计的可靠性和正确性。

附：formality debug文档

链接：https://pan.baidu.com/s/1Pnh4PpZE7UEKSRRi5SE-eA?pwd=88d7 
提取码：88d7