3 ms·A Framework for Asynchronous Circuit Modeling and Verification in ACL2 [pdf]1 points by luu 6y ago