Verifying a Self-Timed Divider

Tarik Ono-Tesfaye, Christoph Kern, Mark R. Greenstreet. Verifying a Self-Timed Divider. In 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 98), 30 March - 2 April 1998, San Diego, CA, USA. pages 146-158, IEEE Computer Society, 1998. [doi]

Abstract

Abstract is missing.