Verification of Delayed-Reset Domino Circuits Using ATACS.

Wendy Belluomini Chris J. Myers H. Peter Hofstee Verification of Delayed-Reset Domino Circuits Using ATACS. 3-12 1999 conf/async/1999 ASYNC https://doi.org/10.1109/ASYNC.1999.761518 https://doi.ieeecomputersociety.org/10.1109/ASYNC.1999.761518 https://www.wikidata.org/entity/Q59859627 db/conf/async/async1999.html#BelluominiMH99