Title :
An analysis of reshuffled handshaking expansions
Author_Institution :
Lab. of Comput. Syst., Cornell Univ., Ithaca, NY, USA
Abstract :
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
Keywords :
asynchronous circuits; communicating sequential processes; logic design; synchronisation; communicating hardware processes; reshuffled handshaking expansions; synchronization behavior; Asynchronous circuits; Circuit synthesis; Cogeneration; Communication channels; Hardware; Laboratories; Performance analysis; Production; Protocols; System recovery;
Conference_Titel :
Asynchronus Circuits and Systems, 2001. ASYNC 2001. Seventh International Symposium on
Conference_Location :
Salt Lake City, UT
Print_ISBN :
0-7695-1034-5
DOI :
10.1109/ASYNC.2001.914073
