A method is disclosed for preventing circuit failures due to gate oxide
leakage, and is used to efficiently check many nets of a circuit on a
chip or within a macro to find logical fails due to gate oxide leakage
using DC calculations, wherein the gate leakage is treated as a noise
source for a static noise analysis of the circuit.