逻辑网表检查在第32页
物理网表检查在第38页
启动Conformal低功耗(扩展检查)
要在非图形模式下启动软件,请运行以下命令:
lec -verify –NOGui –lp
要在图形模式下启动软件,请运行以下命令:
lec -verify [-Gui] –lp
这里的`[-Gui]`表示在某些情况下,可能需要显式指定`-Gui`参数来启动图形用户界面。根据使用的软件版本和配置,选择适当的启动方式。
逻辑网表检查
本节描述了如何在逻辑网表上执行Conformal低功耗检查。
在没有电源和地线的网表中,低功耗检查会验证电源规范的语法和质量是否正确,然后再进行仿真和综合。对于已经插入低功耗单元的门级网表,低功耗规则检查会验证所需的低功耗单元(电平转换器、隔离单元和保持单元)是否正确插入。这不包括电源意图语法检查。
- 设计步骤1:第34页开发电源规范
- 验证步骤1:第34页RTL和电源规范检查
- 设计步骤2:第36页门级综合
- 验证步骤2:第37页电源规范和门级网表检查
- 第37页逻辑网表检查的命令模板
逻辑网表检查流程
以下图表展示了逻辑网表检查流程:
设计步骤1:开发电源规范
以下展示了一个行为级RTL模型及其电源意图规范:
可以使用Conformal低功耗图形用户界面(GUI)来帮助开发电源规范。Conformal低功耗GUI提供以下功能:
- 设计数据感知的电源规范表单
- 交互式检查和诊断
- 不需要高级的CPF语言技能
有关Conformal低功耗GUI的更多信息,请参阅第5章“低功耗用户界面概述”。
验证步骤1:RTL和电源规范检查
在RTL验证期间,低功耗检查会在进行仿真和综合之前验证电源规范的语法和质量是否正确。具体来说,会检查电源规范的语法是否正确,以及是否缺少隔离或电平转换器规则。
命令示例:
注意:对于RTL和电源规范检查,不需要使用`COMMIT POWER INTENT`和`ANALYZE POWER DOMAIN`命令。
设计步骤2:门级综合
在这个设计步骤中,行为级RTL模型被综合,并且根据电源规范插入低功耗单元。
验证步骤2:电源规范和门级网表检查
在门级网表验证期间,低功耗检查会验证是否根据电源规范正确插入了所需的低功耗单元(电平转换器、隔离单元和保持单元)。在这一步中,低功耗检查会寻找电气问题以及保持控制和隔离控制连通性的问题。
逻辑网表检查命令示例:
物理网络列表检查
■ 物理网络列表低功耗检查流程第38页
■ 设计步骤 3:放置和布线第39页
■ 验证步骤 3:Conformal Low Power扩展检查第40页
■ 物理网络列表检查的命令模板第40页
物理网络列表低功耗检查流程
Conformal Low Power物理网络列表检查适用于具有电源和地网络的网络列表。它完成了低功耗单元的检查。
设计步骤 3:放置和布线
以下展示了一个门网络列表及其电源规范。
在这个设计步骤中,发生以下步骤:
- 对门网络列表执行放置和布线。
- 插入电源开关单元。
- 布线电源和地网络。
- 集成核心和垫框。
验证步骤 3:Conformal Low Power扩展检查
在这个验证步骤中,执行以下Conformal Low Power扩展检查:
- 确保插入操作符合电源规范的检查。
- 进行结构检查以发现电气问题。
- 低功耗单元的结构检查。
- 低功耗单元控制信号的检查。
命令模板用于物理网络列表检查
以下示例展示了如何从LEF文件中读取电源和地引脚,以及从CPF声明中读取低功耗单元:
以下示例展示了如何读取包含低功耗属性的 Liberty 文件:
# 设置低功耗选项,并指定网络列表风格为物理
set lowpower option –netlist_style physical
# 读取具有低功耗属性的liberty库文件
read library -liberty -lp <file_name.lib>
# 分析低功耗库
analyze library –lowpower
# 读取门网络列表
read design <gate_netlist>
# 读取电源意图,并指定CPF文件
read power intent <power_spec> -cpf
# 提交电源意图
commit power intent
# 分析电源域
analyze power domain