A Framework for Asynchronous Circuit Modeling and Verification in ACL2 [pdf]cs.utexas.edu1 pointluu6 years ago