Verification of Delayed-Reset Domino Circuits Using ATACS

Wendy Belluomini, Chris J. Myers, H. Peter Hofstee. Verification of Delayed-Reset Domino Circuits Using ATACS. In 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 99), 19-22 April 1999, Barcelona, Spain. pages 3-12, IEEE Computer Society, 1999. [doi]

Authors

Wendy Belluomini

This author has not been identified. Look up 'Wendy Belluomini' in Google

Chris J. Myers

This author has not been identified. Look up 'Chris J. Myers' in Google

H. Peter Hofstee

This author has not been identified. Look up 'H. Peter Hofstee' in Google