Aaron Ashkinazy, David A. Edwards, Craig Farnsworth, Gary Gendel, Shiv S. Sikand. Tools for validating asynchronous digital circuits. In Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1994, Salt Lake City, UT, USA, November 3-5, 1994. pages 12-21, IEEE, 1994. [doi]
Abstract is missing.