电源感知等效性检查
■ 第24页：电源感知等效性检查概述
■ 第24页：启动低功耗（等效性检查）软件
■ 第25页：电源感知等效性检查流程
■ 第28页：电源感知等效性检查示例Do文件
电源感知等效性检查概述
电源感知等效性检查是一种高级方法，用于从寄存器传输级（RTL）到布局和布线的功能验证。电源感知等效性检查取代了边界检查，后者只能用于验证已经插入隔离的两个网表。
电源感知等效性检查提供以下功能：
- 低功耗设计等效性检查
- 状态元素域一致性检查
- 能够处理单元建模、开关建模和保持实例
- 电源意图比较
- 状态保持策略比较
注意：在电源感知等效性检查中，不需要移位器、保持单元和开关单元的插入。
启动低功耗（EC）软件
电源感知等效性检查是通过Encounter® Conformal®低功耗验证工具来完成的。
要在非图形模式下启动软件，请运行以下命令：
lec –NOGui –lp
要在图形模式下启动软件，请运行以下命令：
lec [-Gui] –lp
这里的`[-Gui]`表示在某些版本或配置中，可能需要显式指定`-Gui`参数来启动图形界面，而在其他情况下，图形界面可能是默认启动的。根据具体的软件文档或版本要求，选择适当的启动方式。
电源感知等效性检查流程
电源感知等效性检查流程包括以下任务：
- 设置电源感知等效性检查的低功耗选项
- 读取库和设计
- 读取并比较电源意图
- 执行等效性检查
- 执行状态元素域一致性检查
设置低功耗选项
可以使用`SET LOWPOWER OPTION`命令启用低功耗检查选项。此命令指定了读取网表的风格。
注意：当读取电源意图文件时，默认情况下会启用域一致性检查。
读取并比较电源意图
电源意图文件定义了设计的低功耗意图。
低功耗等效性检查（Low Power EC）基于单一共同的电源意图文件（CPF）的电源架构来比较两个设计。然而，在综合和布局布线过程中，电源意图可能会发生变化，这要求低功耗等效性检查读取电源意图文件的黄金版本和修订版本。低功耗等效性检查可以比较黄金版本和修订版本的电源意图文件，并报告它们之间的差异。
使用`READ POWER INTENT`命令读取电源意图文件的黄金版本和修订版本，并使用`COMPARE POWER INTENT`命令（这些命令仅在设置模式下可用）进行比较。比较电源意图后，使用`REPORT COMPARED INTENT`命令报告差异。
提交电源意图
解析电源意图文件后，可以使用带有`-insert_isolation`选项的`COMMIT POWER INTENT`命令执行隔离插入。
注意：电源感知等效性检查不会插入电平转换器、保持单元或开关单元。
检查域一致性并比较状态保持策略
完成等效性检查后，运行CHECK LOWPOWER CELLS命令以对顺序元素执行域一致性检查。低功耗等效性检查还增加了比较状态保持策略的能力，这可以比较是否对映射的状态元素应用了相同的保持策略。
以下是CHECK LOWPOWER CELLS命令结果的示例说明：
在这个例子中：
- 通过（Passed）—报告在比较的设计之间，位于相同电源域中的顺序对的数量。
- 失败（Failed）—报告在比较的设计之间，不位于相同电源域中的顺序对的数量。
- 未检查（Not checked）—指明未执行低功耗检查，或检查被中断的顺序元素的数量。
要获取详细的报告，请使用REPORT LOWPOWER DATA命令。
电源感知等效性检查示例Do文件
本节提供示例，展示第25页上的“电源感知等效性检查流程”。
示例2-1 RTL与逻辑网表
注意：存在一个CPF文件，两个网表都没有低功耗单元。
以下是一个执行RTL与逻辑网表电源意图等效性检查的Conformal do文件的示例。
示例 2-2 无低功耗单元的逻辑网表与含有低功耗单元的逻辑网表
注意：在这个例子中，两个网表具有不同的电源意图文件。
以下是一个Conformal do文件的示例，它对一个没有低功耗单元的逻辑网表与一个含有低功耗单元的逻辑网表执行电源意图等效性检查。
示例 2-3 含有低功耗单元的逻辑网表与物理网表
