Yan Peng, Mark R. Greenstreet. Verifying Timed, Asynchronous Circuits using ACL2. In 25th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2019, Hirosaki, Japan, May 12-15, 2019. pages 96-104, IEEE, 2019. [doi]
Abstract is missing.