A method of determining whether voltage from an aggressor net exceeds a
voltage threshold on a victim net design in an integrated circuit design.
Probabilistic noise from the aggressor net on the victim net is
calculated. The probabilistic noise is checked against the voltage
threshold, and the victim net design is passed when the probabilistic
noise does not exceed the voltage threshold. When the probabilistic noise
does exceed the threshold, then an effective noise at a desired mean time
to failure is computed, and the effective noise is checked against the
voltage threshold. The victim net design is passed when the effective
noise does not exceed the voltage threshold, and failed when the
effective noise does exceed the threshold.