An Analysis of Reshuffled Handshaking Expansions

Authors:
Rajit Manohar
Affiliations:
-
Venue:
ASYNC '01 Proceedings of the 7th International Symposium on Asynchronous Circuits and Systems
Year:
2001

Citing 0
Cited 3

A Programming Approach to the Design of Asynchronous Logic Blocks

Concurrency and Hardware Design, Advances in Petri Nets
Decomposing specifications with concurrent outputs to resolve state coding conflicts in asynchronous logic synthesis

Proceedings of the 41st annual Design Automation Conference
Elastic circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantified Score

Hi-index	0.00

Visualization

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.