Abstract
A method is described for compiling computations described as a set of communicating processes into VLSI circuits. The circuits obtained are delay-insensitive, i.e., their correct operation is independent of any assumption on delays in operators and wires, except that the delays are finite. They are also correct by construction since they are derived by a series of semantics-preserving transformation.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Dijkstra EW (1976) A Discipline of Programming. Prentice-Hall, Englewood Cliffs, NJ
Hoare CAR (1978) Communicating sequential processes. Comm ACM 21 (8):666–677
Martin AJ (1985) The probe: an addition to communication primitives. Information Processing Letters 20:125–130
Martin AJ (1985) The design of a self-timed circuit for distributed mutual exclusion. In: Fuchs H (ed) Proc. 1985 Chapel Hill Conf. VLSI: pp 247–260
Martin AJ (1985) A delay-insensitive fair arbiter. Caltech Computer Science Technical Report 5193:TR85
Martin AJ (1986) Self-timed FIFO: an exercise in compiling programs into circuits. Caltech Computer Science Technical Report 5211:TR:86. Also to appear in: Borrione D (ed) From HDL description to guaranteed correct circuit designs. North-Holland
Mead C, Conway L (1980) Introduction to VLSI Systems. Addison-Wesley, Reading MA
Molnar CE, Ting-Pien Fang, FU Rosenberger (1985) Synthesis of delay-insensitive modules. In: Fuchs H (ed) Proc. 1985 Chapel Hill. Conf. VLSI: pp 67–86
Rem M (1985) Concurrent computations and VLSI Circuits. In: Broy M (ed) Control flow and data flow: concepts in distributed programs. Springer, Berlin Heidelberg New York Tokyo:pp 399–437
Seitz CL (1980) System timing. In: Mead & Conway. Introduction to VLSI Systems, chap 7. Addison-Wesley, Reading, MA
Snepscheut J van de (1985) Trace theory and VLSI Design. LNCS 200, Springer, Berlin Heidelberg New York Tokyo
Author information
Authors and Affiliations
Additional information
Alain Martin is Professor of Computer Science at the California Institute of Technology. His research interests include programming methodology, in particular concurrent and distributed programming, and its application to the design of VLSI circuits and of highly concurrent computing systems.
Rights and permissions
About this article
Cite this article
Martin, A.J. Compiling communicating processes into delay-insensitive VLSI circuits. Distrib Comput 1, 226–234 (1986). https://doi.org/10.1007/BF01660034
Issue Date:
DOI: https://doi.org/10.1007/BF01660034