Static PMOS to gnd count (static_pmos2gnd)
Description
This checks counts unpaired PMOS in a discharging path from a fanout node to GND and
report paths having PMOS count larger than specified count.
Only fanout nodes are analyzed. Nodes only connecting to MOSDIODEs or MOSCAPs will not be checked.
The results are reported into a file with the extension static.xml, which can be read with a web browser.
Syntax
Name static_pmos2gnd parameter=value ...
Parameters
Design check parameters
|
node
|
[...]
|
Nodes to which the check is applied. Default is none.
|
Filtering parameters
|
count
|
3
|
Maximum number of permitted PMOS. Default is 3.
|
|
error_limit
|
10000
|
Maximum number of errors reported. Default is 10000.
|
Wildcard scoping
|
inst
|
[...]
|
Subcircuit instances to which the check is applied. Default includes all instances (inst=*).
|
|
xinst
|
[...]
|
Subcircuit instances to be excluded from the check. Default is none.
|
|
subckt
|
[...]
|
The instances of the specified subcircuit to which the check is applied. Default includes all subcircuits (subckt=*).
|
|
xsubckt
|
[...]
|
The instances of the specified subcircuits that are excluded from the check. Default is none.
|
|
depth
|
8
|
Hierarchy levels (starting from top, instance, or subcircuit scope) to be checked. Default is 8.
|
|
vpth
|
-0.4 V
|
PMOS threshold voltage. This value is used to calculate the voltage drop across a PMOS channel during voltage propagation. Default is -0.4 V.
|
|
vnth
|
0.5 V
|
NMOS threshold voltage. This value is used to calculate the voltage drop across a NMOS channel during voltage propagation. Default is 0.5 V.
|
|
vsrcnodefile
|
[...]
|
Defines file from which node voltages are read for performing the check.
|
|
pwl_time
|
infinity
|
Time for pwl src to be considered as constant vsrc.
|
Return to top
