A digital circuit simulation method. The method starts with a digital
circuit design which includes: a first source latch, a destination latch,
a logic cone, a first WAM circuit electrically coupling an output of the
first source latch to a first input of the logic cone, and a WAGG circuit
electrically coupling an output of the logic cone and an input of the
first source latch. Then, a zero-delay simulation is performed in which
if a first situation of (a) the first WAM circuit entering an uncertainty
state in which the first WAM circuit generates a random value of 1 or 0
at the first input of the logic cone, (b) the logic cone being vulnerable
to a positive glitch, and (c) the output of the logic cone being at logic
0, the WAGG circuit generates a random value of 0 or 1 at the input of
the destination latch.