Projection: A synthesis technique for concurrent systems

Proceedings - International Symposium on Asynchronous Circuits and Systems

Volumn , Issue , 1999, Pages 125-133

  Manohar, Rajit ^a   Lee, Tak Kwan ^b,c   Martin, Alain J ^b  

^a Cornell University   (United States)

^b CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^c Epson Research and Development   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS CIRCUITS; CONCURRENT PROGRAM; CONCURRENT SYSTEMS; DECOMPOSITION TECHNIQUE; SYNTHESIS TECHNIQUES;

EID: 0005299745     PISSN: 15228681     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASYNC.1999.761528     Document Type: Conference Paper

References (10)

1. U. Cummings, A. Lines, and A. Martin. An asynchronous pipelined lattice structure filter. In Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 126-133, Nov. 1994.
2. E. W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976.
3. C. A. R. Hoare. Communicating sequential processes. Communications of the ACM, 21(8):666-677, Aug. 1978.
4. G. Kane and J. Heinrich. MIPS RISC Architecture. Prentice-Hall, 1992.
5. R. Manohar and A. J. Martin. Slack elasticity in concurrent computing. In Fourth International Conference on the Mathematics of Program Construction, Lecture Notes in Computer Science. Springer-Verlag, July 1998.
6. A. J. Martin. Programming in VLSI: From communicating processes to delay-insensitive circuits. In C. A. R. Hoare, editor, Developments in Concurrency and Communication, UT Year of Programming Series, pages 1-64. Addison-Wesley, 1990.
7. A. J. Martin, S. M. Burns, T. K. Lee, D. Borkovic, and P. J. Hazewindus. The design of an asynchronous microprocessor. In C. L. Seitz, editor, Advanced Research in VLSI: Proceedings of the Decennial Caltech Conference on VLSI, pages 351-373. MIT Press, 1989.
8. A. J. Martin, A. Lines, R. Manohar, M. Nyström, P. Penzes, R. Southworth, U. V. Cummings, and T.-K. Lee. The design of an asynchronous MIPS R3000. In Proceedings of the 17th Conference on Advanced Research in VLSI, pages 164-181, Sept. 1997.
9. J. L. A. van de Snepscheut. Trace Theory and VLSI Design, volume 200 of Lecture Notes in Computer Science. Springer-Verlag, 1985.
10. T. E. Williams. Self-Timed Rings and their Application to Division. PhD thesis, Stanford University, June 1991.