Verifying Timed, Asynchronous Circuits using ACL2 | IEEE Conference Publication | IEEE Xplore