Static Checks

Static checks are performed after parsing, using the topology information and voltage propagation. They apply to digital and SRAM circuits only and do not require a transient simulation. Static checks use the static_ keyword prefix and write the results into a file with the extension.static.xml. The XML file can be viewed with any Web browser.

The following static checks are supported by Spectre FX:

• Static Always Conducting NMOS/PMOS Check (static_nmosvgs/static_pmosvgs)
• Static Capacitor Check (static_capacitor)
• Static Capacitor Voltage Check (static_capv)
• Static Coupling Impact Check (static_coupling)
• Static DC Leakage Path Check (static_dcpath)
• Static Diode Voltage Check (static_diodev)
• Static ERC Check (static_erc)
• Static High Impedance Node Check (static_highz)
• Static Highfanout Check (static_highfanout)
• Static MOSFET Voltage Check (static_mosv)
• Static NMOS to VDD Count Check (static_nmos2vdd)
• Static NMOS/PMOS Forward Bias Bulk Check (static_nmosb/static_pmosb)
• Static PMOS to GND Count Check (static_pmos2gnd)
• Static RC Delay Check (static_rcdelay)
• Static Resistor Check (static_resistor)
• Static Resistor Voltage Check (static_resv)
• Static Subcircuit Port Voltage Check (static_subcktport)
• Static Transmission Gate Check (static_tgate)
• Static Voltage Domain Device Check (static_voltdomain)