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.
Citation:
Rajit Manohar, "An Analysis of Reshuffled Handshaking Expansions," async, pp.96, Seventh International Symposium on Asynchronous Circuits and Systems (ASYNC'01), 2001 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||