An Analysis of Reshuffled Handshaking Expansions

@inproceedings{Manohar2001AnAO,
  title={An Analysis of Reshuffled Handshaking Expansions},
  author={Rajit Manohar},
  booktitle={ASYNC},
  year={2001}
}
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. 
Highly Cited
This paper has 17 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-8 of 8 extracted citations

Inverting Martin Synthesis for Verification

2013 IEEE 19th International Symposium on Asynchronous Circuits and Systems • 2013
View 8 Excerpts
Highly Influenced

A Programming Approach to the Design of Asynchronous Logic Blocks

Concurrency and Hardware Design • 2002
View 7 Excerpts
Highly Influenced

TrueNorth: Design and Tool Flow of a 65 mW 1 Million Neuron Programmable Neurosynaptic Chip

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2015
View 1 Excerpt
Method Support

Address-Event Communication Using Token-Ring Mutual Exclusion

2011 17th IEEE International Symposium on Asynchronous Circuits and Systems • 2011
View 1 Excerpt

Elastic Circuits

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2009
View 1 Excerpt

Semihiding operators and active-edge specification

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2006
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 13 references

Two-phase CHP: Analyzing Handshaking Expansions by Decompilation

Rajit Manohar
Cornell Computer Systems Laboratory technical report CSL-TR-2000-1006, • 2000
View 8 Excerpts
Highly Influenced

Programming in VLSI: From communicating processes to delay-insensitive circuits

Alain J. Martin
In C.A.R. Hoa re, editor, Developments in Concurrency and Communication • 1990
View 8 Excerpts
Highly Influenced

The Design of an Asynchronous MIPS R3000.Proceedings of the 17th Conference on Advanced Research in VLSI

Alain J. Martin, Andrew Lines, +5 authors Tak-Kwan Lee
1997
View 1 Excerpt

The Semantics of VLSI Synthesis

Marcel van der Goot
Ph.D. thesis CS-TR-95-08, California Institute of Technol ogy, • 1996
View 1 Excerpt

Asynchronous Circuits

Monographs in Computer Science • 1995