Abstract
We have described the synthesis aspects of a design technique for delay insensitive circuits. The cornerstone of this technique is the language Synchronized Transitions. Programs in this language can be verified formally using tools supporting mechanical verification. In this paper we have described a tool for synthesizing delay insensitive circuits. Hence, we have demonstrated that it is feasible to use the same abstract description for both verification and synthesis.
Preview
Unable to display preview. Download preview PDF.
References
Richard P. Brent and H. T. Kung. A regular layout for parallel adders. IEEE Transactions on Computers, 31(3), 1982.
European Silicon Structures Limited. Solo 1400 Reference Manuals, January 1990.
Stephen J. Garland, John V. Guttag, and Jørgen Staunstrup. Verification of VLSI circuits using LP. In The Fusion of Hardware Design and Verification. IFIP WG. 10.2, North Holland, 1988.
Henrik Hulgaard and Per H. Christensen. Automated synthesis of delay insensitive circuits. Master's thesis, Department of Computer Science, Technical University of Denmark, August 1990.
Kai Hwang. Computer Arithmetic: Principle, Architecture, and Design. John Wiley & Sons, 1979.
Alain J. Martin. The limitations to delay-insensitivity in asynchronous circuits. Technical report, Department of Computer Science, California Institute of Technology, 1990. Caltech-CS-TR-90-02.
Charles E. Molnar, T.P. Fang, and F.U. Rosenberg. Synthesis of delay-insensitive modules. In Henry Fuchs, editor, 1985 Chapel Hill Conference on Very Large Scale Integration, pages 67–86. Computer Science Press, 1985.
David E. Muller and W.S. Bartky. A theory of asynchronous circuits. In Annals of the Computation Laboratory of Harvard University, volume 29. Harvard University Press, 1959.
Narinder P. Singh. A design methodology for self-timed systems. Master's thesis, Laboratory for Computer Science, MIT, 1981. Technical Report TR-258.
Jørgen Staunstrup and Mark R. Greenstreet. Synchronized Transitions. In Jørgen Staunstrup, editor, Formal Methods for VLSI Design. North-Holland/Elsevier, 1990.
J.T. Udding. Classification and Composition of Delay-Insensitive Circuits. PhD thesis, Eindhoven University of Technology, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hulgaard, H., Christensen, P.H., Staunstrup, J. (1992). Synthesizing delay insensitive circuits from verified programs. In: Banâtre, J., Le Métayer, D. (eds) Reasearch Directions in High-Level Parallel Programming Languages. HLPPP 1991. Lecture Notes in Computer Science, vol 574. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55160-3_53
Download citation
DOI: https://doi.org/10.1007/3-540-55160-3_53
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55160-7
Online ISBN: 978-3-540-46762-5
eBook Packages: Springer Book Archive