Innovus中如何驗證低功耗設計

Innovus中如何驗證低功耗設計，針對這個問題，這篇文章詳細介紹了相對應的分析和解答，希望可以幫助更多想解決這個問題的小伙伴找到更簡單易行的方法。

此處論及的低功耗設計是指帶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中如何驗證低功耗設計問題的解答就分享到這里了，希望以上內容可以對大家有一定的幫助，如果你還有很多疑惑沒有解開，可以關注億速云行業資訊頻道了解更多相關知識。