低功耗验证 (三) Verdi Power-Aware Debug简单使用

文档与源码：

User Guide: Verdi_Power_Aware_Debug.pdf in $VERDI_HOME/doc
demo: $VERDI_HOME/demo/power/upf_demo

介绍：

Verdi_Power_Aware: 使用VCS-NLP对带UPF的RTL进行仿真，$fsdbDumpvars("+power") dump power相关信息，用于low power case debug。

准备：

upf_demo: 顶层module system.v(7个power domain，6个Power Switch Cell，2个Isolation Cell，2个Level-shifter Cell)，UPF(demo.upf，cpu.upf)，Power Manage Control: pmc.v

Dump Wave: $fsdbDumpvars("+power")

Makefile:

使用

界面

不同domain显示颜色不同；插入了虚拟的low power cell；显示Isolation Strategy；

Power Domain的Hierarchy，可以像trace RTL一样trace Lowe Power Info。

Power下拉栏显示 Power State Table Power Map:

在Power Map上选中相应Power Cell，右键显示 Impacted Signals:

nWave

除了将RTL signal加入nWave，也可以在Hierarchical Power Domain或者upf file中选中右键将supply_net，supply_port，ctrl_signal等加入nWave：

选中signal，右键加入对应的Domain，Supply Net，Cell Rule信息：

Wave Mask：提供了五种波形Mask，Mask Power Off为下电区域，Mask Isolation为ALUB_iso使能区域。

Trace X

出现X态原因众多：模块下电导致X态；未初始化的存储单元；setup_hold timing violation导致X态等等
Verdi nWave提供自动trace X的方法：

1. nWave -> Tools -> List X
2. 选中signal右键 Trace Active X

一般手动trace X态足以。

retention save时，锁存了X态；restore时，导致X态传播。如下示例：

Check Power Sequence

Power -> Check Power Sequence