Innovus中如何验证低功耗设计，针对这个问题，这篇文章详细介绍了相对应的分析和解答，希望可以帮助更多想解决这个问题的小伙伴找到更简单易行的方法。

创新互联是专业的曾都网站建设公司，曾都接单;提供成都网站设计、成都网站建设,网页设计,网站设计,建网站,PHP网站建设等专业做网站服务;采用PHP框架,可快速的进行曾都网站开发网页制作和功能扩展;专业做搜索引擎喜爱的网站,专业的做网站团队,希望更多企业前来合作!

此处论及的低功耗设计是指带IEEE1801 或CPF 的设计，即有多个电压域的设计，对于这样的设计，power mesh 跟placement 做完后，通常需要检查：

• placement 是否遵照了power intent 的需求，把对应的cell 摆放在了对应的电压域中；

• 如何report 某个instance 或某个 power domain 的低功耗信息；

• 如何对Power Grid 进行check, 如missing vias / straps.

Innovus 提供了如下三个强大的命令来完成对应的check：

• verifyPowerDomain

• reportPowerDomain

• verifyPowerVia

verifyPowerDomain

可以用命令 "verifyPowerDomain -bind" 来检查是否所有的cell 都被link 到了对应的库上。

可以用命令 "verifyPowerDomain -place" 来检查cell 和power domain placement 的问题，如power domain 是否有 overlap, cell 是否放入了正确的power domain.

reportPowerDomain

用命令"reportPowerDomain" 可以报出如下信息：

• Power domain name

• Power domain bounding box

• Timing library

• Mingap

• Route search (RS) extension

• Row type and spacing

• Instance specific PD information

• Whether PD is always-on

用命令 "reportPowerDomain -bindLib -powerDomain PD_name" 来check 指定power domain 中各instance 对应的timing library.

用命令"reportPowerDomain -inst $your_instance" 来check 指定instance 的power domain 信息。

reportPowerDomain 还有许多option, 如-shifter/ -isoInst/ -pgNet, 分别可以用于check 指定power domain 中所有的level shifter cells, isolation cells 以及power/ ground nets. 

verifyPowerVia

VerifyPowerVia 可做许多power-rail overlap check 用以找出power-grid missing vias. 例如要check 非相邻层之间是否缺少via 可以用命令 "verifyPowerVia -layerRange {bottomLayer topLayer}" 或 "verifyPowerVia -stackedVia". 

If you create stripes with 'set2set' distance and want to be able to flag violations where the power rails do not connect to the power stripe within the 'set2set' distance or specified area, you can use the following new verifyPowerVia parameters:

• -layer_rail : Specifies the power rail layer to be checked.

• -layer_stripe : Specifies the stripe layer list to be checked.

• -search_range : Specifies a rectangle area of XY dimension. There should be a valid connection from power rail to power stripe in the specified area.

• -stripe_rule : Specifies in microns the center-to-center spacing distance for the power via, which is on the power rail.

示例：如下命令check layer M2 跟 M3 之间power rails 的连接关系， 如果这个VIA center-to-center 距离大于 17um，工具就会报 violation 并且标注对应的 power rail wires.

Note: 文中涉及的三个命令，在Innovus 的命令文档中都可以找到更详细的描述，用户可以根据自己的需求加对应的option 做对应的check. 

关于Innovus中如何验证低功耗设计问题的解答就分享到这里了，希望以上内容可以对大家有一定的帮助，如果你还有很多疑惑没有解开，可以关注创新互联行业资讯频道了解更多相关知识。