Verification of delayed-reset domino circuits using ATACSWendy BelluominiChris J. Myerset al.1999ASYNC 1999