ABSTRACT
This lecture will provide an overview of the field of asynchronous VLSI, and show how formal methods have played a critical role in the design of complex asynchronous systems. In particular, I will talk about program transformations and their application to asynchronous VLSI, as well as describe a simple language that I developed to describe these circuits and aid in their validation.
- 1.S. M. Burns and A. J. Martin. Syntax-directed translation of concurrent programs into self-timed circuits. In Proceedings of the Fifth MIT Conference on Advanced Research in VLSI, pages 35-50, 1988. Google ScholarDigital Library
- 2.R. Manohar. A case for asynchronous computer architecture. In ISCA Workshop on Complexity-Effective Design, June 2001.Google Scholar
- 3.R. Manohar, T.-K. Lee, and A. J. Martin. Projection: A synthesis technique for concurrent systems. In Proc. Fifth International Symposium on Asynchronous Circuits and Systems, pages 125-134, April 1999. Google ScholarDigital Library
- 4.R. Manohar and A. J. Martin. Slack elasticity in concurrent computing. In Proc. Fourth International Conference on the Mathematics of Program Construction LNCS 1422, pages 272-285, June 1998. Google ScholarDigital Library
- 5.R. Manohar and A. J. Martin. Pipelined mutual exclusion and the design of an asynchronous microprocessor. Technical Report CSL-TR-2001-1017, Cornell University, 2001.Google Scholar
- 6.A. J. Martin. Compiling communicating processes into delay-insensitive VLSI circuits. Distributed Computing, 1(4):226-234, 1986.Google ScholarCross Ref
- 7.A. J. Martin. Formal program transformations for VLSI circuit synthesis. In E. W. Dijkstra, editor, Formal Development of Programs and Proofs, UT Year of Programming Series, pages 59-80, 1989. Google ScholarDigital Library
- 8.A. J. Martin, S. M. Burns, T. K. Lee, D. Borkovic, and P. J. Hazewindus. The design of an asynchronous microprocessor. In Proc. Decennial Caltech Conference on VLSI, pages 351-373, 1989. Google ScholarDigital Library
- 9.A. J. Martin, A. Lines, R. Manohar, M. Nystrom, P. Penzes, R. Southworth, U. 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, 1997. Google ScholarDigital Library
Recommendations
Scalable formal design methods for asynchronous VLSI
This lecture will provide an overview of the field of asynchronous VLSI, and show how formal methods have played a critical role in the design of complex asynchronous systems. In particular, I will talk about program transformations and their ...
Practical advances in asynchronous design
ICCD '97: Proceedings of the 1997 International Conference on Computer Design (ICCD '97)Recent practical advances in asynchronous circuit and system design have resulted in renewed interest by circuit designers. Asynchronous systems are being viewed as an increasingly viable alternative to globally synchronous system organization. This ...
A State Assignment Approach to Asynchronous CMOS Circuit Design
Present a new algorithm for state assignment in asynchronous circuits so that for each circuit state transition, only one (secondary) state variable switches. No intermediate unstable states are used. The resultant circuits operate at optimum speed in ...
Comments