Wendy Belluomini Chris J. Myers H. Peter Hofstee Verification of Delayed-Reset Domino Circuits Using ATACS. 3-12 1999 conf/async/1999 ASYNC http://csdl.computer.org/comp/proceedings/async/1999/0031/00/00310003abs.htm db/conf/async/async1999.html#BelluominiMH99