High-level synthesis of asynchronous systems by data-driven decomposition

Proceedings - Design Automation Conference

Volumn , Issue , 2003, Pages 508-513

  Wong, Catherine G ^a   Martin, Alain J ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Asynchronous VLSI; High level synthesis

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; COMPUTER HARDWARE DESCRIPTION LANGUAGES;

ASYNCHRONOUS SYSTEMS;

VLSI CIRCUITS;

EID: 0041633743     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/775832.775962     Document Type: Conference Paper

References (14)

1. A.J. Martin. "Programming in VLSI: From Communicating Processes to Delay-Insensitive Circuits," in C.A.R. Hoare, ed., Developments in Concurrency and Communication, UT Year of Programming Series, Addison-Wesley, 1990.
2. C.G. Wong and A.J.Martin. "Data-driven Process Decomposition For the Synthesis of Asynchronous Circuits," Proc. ICECS, 2001.
3. S.M. Burns and A.J. Martin. "Synthesis of Self-Timed Circuits by Program Transformation," In G.J. Milne, ed., The Fusion of Hardware Design and Verification, North-Holland, 1988.
4. A. Bardsley and D.A. Edwards. "The Balsa Asynchronous Circuit Synthesis System," Forum on Design Languages, 2000.
5. C.H. van Berkel and R.W.J.J. Saeijs. "Compilation of Communicating Processes Into Delay-Insensitive Circuits," Proc. ICCD, pp. 157-162, 1988.
6. J. Cortadella, M. Kishinevsky et al. "Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers," IEICE Trans. Information and Systems, Vol. E80-D, No. 3, pp. 315-325, March 1997.
7. R.M. Fuhrer, S.M. Nowick et al. "MINIMALIST: An Environment for the Synthesis, Verification and Testability of Burst-Mode Asynchronous Machines," Columbia University CS Tech Report CUCS-020-99, 1999.
8. A.J. Martin, A. Lines et al. "The Design of an Asynchronous MIPS R3000," Proc. ARVLSI, pp. 164-181, September 1997.
9. A.J. Martin, M.Nyström et al. "The Lutonium: A Sub-Nanojoule Asynchronous 8051 Microcontroller," to appear in Proc. ASYNC, May 2003.
10. H. vanGageldonk, K. van Berkel, and A. Peeters. "An Asynchronous Low-Power 80C51 Microcontroller," Proc. ASYNC, April 1998.
11. A.J. Martin, M.Nyström, and P.Penzes. "ET2: A Metric For Time and Energy Efficiency of Computation," In R.Melhem and R.Graybill ed., Power-Aware Computing, Kluwer, 2001.
12. R. Manohar and A.J. Martin. "Slack Elasticity in Concurrent Computing," Proc. 4th Intl Conf. on the Math of Program Construction, Lecture Notes in CS, Springer-Verlag, 1998.
13. P. Penzes and A.J. Martin. "An Energy Estimation Method for Asynchronous Circuits with Application to an Asynchronous Microprocessor," Proc. DATE, 2002.
14. C. Leiserson, F. Rose, and J. Saxe. "Optimizing Synchronous Circuitry by Retiming," 3rd Caltech Conference on VLSI, 1993.