Verification of delayed-reset domino circuits using ATACS | IEEE Conference Publication | IEEE Xplore