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]
@inproceedings{AshkinazyEFGS94,
title = {Tools for validating asynchronous digital circuits},
author = {Aaron Ashkinazy and David A. Edwards and Craig Farnsworth and Gary Gendel and Shiv S. Sikand},
year = {1994},
doi = {10.1109/ASYNC.1994.656282},
url = {http://dx.doi.org/10.1109/ASYNC.1994.656282},
researchr = {https://researchr.org/publication/AshkinazyEFGS94},
cites = {0},
citedby = {0},
pages = {12-21},
booktitle = {Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, ASYNC 1994, Salt Lake City, UT, USA, November 3-5, 1994},
publisher = {IEEE},
isbn = {0-8186-6210-7},
}