Innovus 小技巧 | Innovus 中如何验证低功耗设计

老秃胖驴

发布于 2019-05-30 14:35:49

3.1K0

发布于 2019-05-30 14:35:49

文章被收录于专栏：陌上风骑驴看IC

此处论及的低功耗设计是指带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.