hotwell

Report MOSFET with bulk not connected to VDD or GND. Possible values are off and on.

dangle

Report dangling nodes. If set to off (default), dangling nodes are not checked. If set to all, all nodes are checked. If set to no_top, the top-level nodes are excluded from the check.

floatgate

Report unconnected MOSFET gates. If set to off (default), no nodes are checked. If set to all, all nodes are checked. If set to no_top, top-level nodes are excluded from the check. If set to no_moscap, MOSCAP gates are excluded from the check. If set to no_top_moscap, all top-level nodes and the MOSCAP gates are excluded from the check. If set to pode, all pode devices whose gates are floating are reported as violations. Possible values are off, all, no_top, no_moscap, no_top_moscap, and pode.

floatbulk

Report unconnected MOSFET bulk. If set to off (default), nodes are not checked. If set to all, all nodes are checked. If set to no_top, the top-level nodes are excluded from the check.

gate2power

Reports PMOS with gate connected to ground and NMOS with gate connected to VDD. Possible values are on and off. The default value is off.

gate2ground

Reports NMOS gate nodes connected to ground and PMOS gate nodes connected to VDD. The gate must be a vsource node. Possible values are on and off. The default value is off.

vnth

NMOS threshold voltage. This value is used to calculate the voltage drop across a NMOS channel during voltage propagation (the default value is 0.5 v).

vpth

PMOS threshold voltage. This value is used to calculate the voltage drop across a PMOS channel during voltage propagation (the default value is -0.4 v).

vlth

Voltage below vlth is considered GND. Applicable only with hotwell, gate2ground, and gate2power. Default is 0.2V.

vhth

Voltage above vhth is considered VDD. Applicable only with hotwell, gate2ground, and gate2power. Default value is 0.8V.

inst

Subcircuit instances to which the circuit check is applied. Default is inst=*

xinst

Subcircuit instances that are excluded from the circuit check. Default is none.

subckt

Instances of the specified subcircuit to which the circuit checks are applied. Default is subckt=*.

xsubckt

Instances of the specified subcircuit which are excluded from the circuit checks. Default is none.

rmax

The maximum resistance value where a node is still considered connected to voltage source node. Default is 100M.

error_limit

Maximum number of errors to be reported per check. Default is 10000.

pwl_time

If specified, all pwl sources are considered constant sources with a value equal to the voltage of the pwl source at pwl_time. Default is infinity.

depth

Hierarchy level (from top level) to be checked. depth=3 reports errors on top level plus 3 sublevels. Default is 8.

rpt_node

Report node voltages. If set to no, no node voltages are reported. If set to all, all node voltages are reported. If set to top, voltages of only the top-level nodes are reported. If set to selected, voltages of only the specified nodes are reported. The report is written to a file named <netlist_name>.<check_name>.nv.

Possible values are no, all, top, and selected. The default value is no.