Dynamic HighZ Node Check (dyn_highz)
Description
Reports the nodes that are in high impedance state (also known as floating) for a duration longer than the user-defined threshold. A high impedance state occurs when there is no conducting path from the node to any power supply or ground.
The following device conducting rules are used for the floating node detection:
- MOSFET is conducting if mos region is triode or saturation
- Resistors, controlled resistors, phy_res, relay and inductors are conducting if R<=res_th
- BJT is conducting if Vbe>bjt_vbe OR Ic>bjt_ith
- Diode is conducting if V>diode_vth
- Vsources and iprobes are considered conducting
- Isources, VCCS, and CCCS are conducting if i>isource_ith
- JFET is considered conducting
- Mutual inductors and controlled capacitors are not conducting
- VerilogA: conducting path depends on module details
The results are written to the dynamic.xml file, which can be viewed in a Web browser.
Syntax
Name dyn_highz parameter=value ...
Parameters
Design check parameters
|
node
|
[...]
|
Nodes to which the check is applied. Default is none.
|
|
xnode
|
[...]
|
Nodes to be excluded from the check. Default is none.
|
|
xnode_file
|
[...]
|
Nodes to be excluded from the check, defined in file, wildcard is not supported. Default is none.
|
|
duration
|
5.00E-09 sec
|
Duration threshold. Default is 5.00E-09 sec.
|
|
mos_ith
|
100E-9
|
Mosfet ids conducting threshold for high impedance node detection. Default is 100nA.
|
|
mos_gds
|
1.0E-5
|
Mosfet gds conducting threshold for high impedance node detection. Default is 1e-5.
|
|
bjt_vbe
|
0.4
|
BJT vbe conducting threshold for high impedance node detection. Default is 0.4V.
|
|
bjt_ith
|
50E-9
|
BJT ic conducting threshold for high impedance node detection. Default is 50nA.
|
|
res_th_va
|
10E6
|
VerilogA resistor conducting threshold for high impedance node detection. Only applicable on AMS IE element and on one or two port AHDL module. Default is 10MOhms.
|
|
res_th
|
1E12
|
Resistor conducting threshold for high impedance node detection. Default is 1 TOhms.
|
|
diode_vth
|
0.6
|
Diode voltage conducting threshold for high impedance node detection. Default is 0.6V.
|
|
isource_ith
|
1.0E-12
|
Current source conducting threshold for high impedance node detection. Default is 1pA.
|
|
mos_conduct_rule
|
tri_sat
|
The conducting rule to decide if a mosfet is on. Use tri_sat for triode or saturation region based rule. Use tri_sat_sub for triode or saturation or subthreshold region based rule. Use ids_gds for ids>mos_ith or gds>mos_gds rule. Use vgs for vgs>vth rule (Only supported in XPS Fastspice). Possible values are tri_sat, tri_sat_sub, ids_gds, and vgs. Default is tri_sat..Possible values are vgs, ids_gds, tri_sat and tri_sat_sub.
|
|
inverse
|
no
|
If set to no, reports all nodes that are in highz state. If set to yes, reports all nodes not being in highz state. Default is no.Possible values are no and yes.
|
|
sort
|
no
|
If set to no, sorting is not performed. If set to duration, dyn_highz will sort violations by duration. Default is no.Possible values are no and duration.
|
|
debug_net
|
[...]
|
Hierarchical net(s) to debug. Wildcard is not allowed. Default is none.
|
|
debug_time
|
[...]
|
Time point(s) at which debug report will be generated. Default is none.
|
|
debug_format
|
txt
|
When debug_format=txt,report will be writtern into a file <netlistName>_<checkName>_<debug_time>.report.log in txt format. When debug_format=sql,report will be writtern in xml/sql format. When debug_format = both, report will be writtern in all formats.Possible values are sql, txt and both.
|
|
debug_report
|
both
|
When debug_report = lowz, only lowz nodes are reported and the report will contain all conducting paths from a debug_net to ground causing debug_net to be lowz node. When debug_report = highz, only highz nodes are reported and report will contain all devices that are off causing a debug_net to be highz. When debug_report = both, both lowz and highz node are reported.Possible values are lowz, highz and both.
|
Filtering parameters
|
time_window
|
[tstart, tstop] sec
|
Time window to which the circuit check is applied. Multiple non-overlapping time windows are supported. Default time window is 0 to tend.
|
|
error_limit
|
10000
|
Maximum number of errors reported. Default is 10000.
|
|
fanout
|
all
|
Fanout setting to filter node with specified connection. When fanout=gate_has_driver_no_moscap, floating nodes only connecting to MOSCAPs will not be checked. When fanout=gate_no_moscap, gates only connecting to MOSCAPs will not be checked. This option is supported only in XPS.Possible values are all, gate, bulk, gate_has_driver_no_moscap and gate_no_moscap.
|
|
filter
|
no
|
If set to no, filtering is not performed. If set to rc, dyn_highz checker will report only one node in same parasitic sub. This option is supported only in XPS.Possible values are no and rc.
|
|
filter_diocon_nodes
|
0
|
Filter out highz nodes connected to MOSDIODE. When set to 1, highz node that is connected to PMOSDIODE is filtered out given that its source is connected to VDD. Moreover, a highz node that is connected to NMOSDIODE is filtered out given that its source is connected to 0. When set to 2, highz node that is connected to PMOSDIODE is filtered out given that its source voltage is greater than drain voltage. Moreover, a highz node that is connected to NMOSDIODE is filter out given that its drain voltage is greater than source voltage. This option is supported only in Spectre and APS. Possible values are 0, 1 and 2.
|
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.
|
|
nonconducting_subckt
|
[...]
|
All instances of specified subcircuit are considered non-conducting during the floating node detection. All devices inside the subcircuit are considered non-conducting during the floating node detection. Wildcard is supported. Default is none.
|
|
conducting_subckt
|
[...]
|
All instances of specified subcircuit are considered conducting during the floating node detection. All devices inside the subcircuit are considered conducting during the floating node detection. Wildcard is supported. Default is none.
|
|
nonconducting_primitive
|
[...]
|
All instances of specified primitive or VerilogA modules are considered non-conducting during the floating node detection. Wildcard is supported. Default is none.
|
Related Topics
Dynamic High Impedance Node Check
Return to top