5

---

Circuit Checks

---

This chapter discusses the following topics:

• Dynamic Subckt Instance Activity Check (dyn_activity)
• Dynamic Active Node Check (dyn_actnode)
• Dynamic Capacitor Voltage Check (dyn_capv)
• Dynamic DC Leakage Path Check (dyn_dcpath)
• Dynamic Delay Check (dyn_delay)
• Dynamic Diode Voltage Check (dyn_diodev)
• Dynamic Excessive Element Current Check (dyn_exi)
• Dynamic Excessive Rise, Fall, Undefined State Time Check (dyn_exrf)
• Dynamic Floating Node Induced DC Leakage Path Check (dyn_floatdcpath)
• Dynamic Glitch Check (dyn_glitch)
• Dynamic HighZ Node Check (dyn_highz)
• Dynamic MOSFET Voltage Check (dyn_mosv)
• Dynamic Node Capacitance Check (dyn_nodecap)
• Dynamic Noisy Node Check (dyn_noisynode)
• Dynamic Pulse Width Check (dyn_pulsewidth)
• Dynamic Resistor Voltage Check (dyn_resv)
• Dynamic Rise Fall Edge Check (dyn_risefall)
• Dynamic Subckt Port Voltage/Current Check (dyn_subcktport)
• Dynamic Subckt Port Power Check (dyn_subcktpwr)
• Static Capacitor Check (static_capacitor)
• Static Capacitor Voltage Check (static_capv)
• Static DC Leakage Path Check (static_dcpath)
• Static Diode Voltage Check (static_diodev)
• Static ERC Check (static_erc)
• Static HighZ Node Check (static_highz)
• Static MOSFET Voltage Check (static_mosv)
• Static NMOS to vdd count (static_nmos2vdd)
• Static NMOS Forward Bias Bulk Check (static_nmosb)
• Static Always Conducting NMOSFET Check (static_nmosvgs)
• Static PMOS Forward Bias Bulk Check (static_pmosb)
• Static Always Conducting PMOSFET Check (static_pmosvgs)
• Static Resistor Check (static_resistor)
• Static Resistor Voltage Check (static_resv)
• Static Subckt Port Voltage Check (static_subcktport)
• Static Transmission Gate Check (static_tgate)
• Static Voltage Domain Device Check (static_voltdomain)

Return to top