Formal Verification of Flow Equivalence in Desynchronized Designs

Jennifer Paykin, Brian Huffman, Daniel M. Zimmerman +1

Seminal work by Cortadella, Kondratyev, Lavagno, and Sotiriou includes a hand-written proof that a particular handshaking protocol preserves flow equivalence, a notion of equivalen…