Product Documentation
Spectre Circuit Simulator Reference
Product Version 23.1, September 2023

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
 ⠀
X