Visualize Power Intent in Schematic View
The Power Map window can be used to visualize power intent in a schematic view. Refer to the following figure for an example of the window.
The schematic view
shows the structure of the loaded UPF/CPF power design where the 
icon represents an Isolation command, the 
icon represents a Level-shifter command, and the 
icon represents a power switch cell.
To invoke the view, you need to set the environment variable NOVAS_POWER_BETA to 1 as the feature is currently considered beta. For example:
> setenv NOVAS_POWER_BETA 1
Then select the Tools > Power Map command (from nSchema or the Power Manager window) to open the Power Map window (UPF/CPF should be imported first).
You can use the
window to understand the structure of the power design. Drag any isolation, level-shifter,
or switch cell icons (, , or ) to the Power Manager window
to jump to the definition of the related rules. Similarly, drag any power
domain from the Power Map window to
the Power Manager window to jump to
the power domain’s definition.
To check the related signals of an isolation or level-shifter rule, select the related icon, then select the Schematic > Impacted Power Signals command to bring up a form summarizing the impacted signals of the selected rule. See the following figure for an example.
The Power Map window can validate whether all signals between power domains are guarded with isolation rules if a possibility exists that the domain a signal is coming from (‘from’ domain) is off while the domain the signal is going to (‘to’ domain) is not. If this is the case, unexpected results could propagate through such signals from the ‘from’ domain to the ‘to’ domain. Similarly, signals are suggested to be guarded with level-shifter rules if the signals’ ‘from’ and ‘to’ domains are both ‘on’/‘standby’ states but the domains’ voltages are different.
The checking is
performed when the Power Map window
is first invoked or when the related checking options (View >
Check non-cover Signals >
Check Isolation Signals, View >
Check non-cover Signals > Check
Level-shifter Signals; both
default to on) are turned on. The results will be shown as non-covered nets (shown
by dotted lines). A non-covered net contains all non-covered signals on the
path from domain X to domain Y. The red dotted lines represent the non-covered
isolation nets (it is suggested to apply isolation rules); the green dotted
lines represent the non-covered level-shifter nets (it is suggested to apply
level-shifter rules). Refer to the following. 
