Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman, Peter A. Beerel. Formal Verification of Flow Equivalence in Desynchronized Designs. In 26th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2020, Salt Lake City, UT, USA, May 17-20, 2020. pages 54-62, IEEE, 2020. [doi]
Abstract is missing.