Seventh International Symposium on Asynchronous Circuits and Systems (ASYNC'01)
An Analysis of Reshuffled Handshaking Expansions
Salt Lake City, Utah
March 11-March 14
ISBN: 0-7695-1034-5
We present a method for reasoning about the synchronization behavior of reshuffled handshaking expansions. The technique introduced converts the handshaking expansion into communicating hardware processes. We identify and discuss some of the limitations of the method. We show how the approach can be applied to analyze both the performance and the correctness of handshaking expansions.