DocumentCode
3005222
Title
An analysis of reshuffled handshaking expansions
Author
Manohar, Rajit
Author_Institution
Lab. of Comput. Syst., Cornell Univ., Ithaca, NY, USA
fYear
2001
fDate
2001
Firstpage
96
Lastpage
105
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Asynchronus Circuits and Systems, 2001. ASYNC 2001. Seventh International Symposium on
Conference_Location
Salt Lake City, UT
ISSN
1522-8681
Print_ISBN
0-7695-1034-5
Type
conf
DOI
10.1109/ASYNC.2001.914073
Filename
914073
Link To Document