The design of a delay-insensitive microprocessor: An example of circuit synthesis by program transformation
We have designed the first delay-insensitive microprocessor. It is a 16-bit, RISC-like architecture. The version implemented in 1.6 micron SCMOS runs at 18 MIPS. The chips were found functional on “first silicon.”
The processor was first specified as a sequential program, which was then transformed into a concurrent program so as to pipeline instruction execution. The circuits were derived from the concurrent program by semantics-preserving program transformation.
KeywordsMutual Exclusion Sequential Program Boolean Expression Memory Unit Data Memory
Unable to display preview. Download preview PDF.
- Steven M. Burns and Alain J. Martin, Syntax-directed Translation of Concurrent Programs into Self-timed Circuits. In J. Allen and F. Leighton (ed), Fifth MIT Conference on Advanced Research in VLSI, pp 35–40, MIT Press, 1988.Google Scholar
- C.A.R. Hoare, Communicating Sequential Processes. Comm. ACM 21,8, pp 666–677, August, 1978.Google Scholar
- Alain J. Martin, The Design of a Self-timed Circuit for Distributed Mutual Exclusion. In Henry Fuchs (ed), 1985 Chapel Hill Conf. VLSI, Computer Science Press, pp 247–260, 1985.Google Scholar
- Alain J. Martin, Compiling Communicating Processes into Delay-insensitive VLSI Circuits. Distributed Computing, 1,(4), Springer-Verlag, pp 226–234 1986.Google Scholar
- Alain J. Martin, A Synthesis Method for Self-timed VLSI Circuits. ICCD 87: 1987 IEEE International Conference on Computer Design, IEEE Computer Society Press, pp 224–229, 1987.Google Scholar
- Alain J. Martin, Programming in VLSI: From Communicating Processes to Delay-insensitive Circuits. In C.A.R. Hoare (ed), UT Year of Programming Institute on Concurrent Programming, Addison-Wesley, Reading MA, 1989.Google Scholar
- Alain J. Martin, Steve Burns, Tony Lee, Drazen Borkovic, and Pieter Hazewindus, The Design of an Asynchronus Microprocessor. In C.L. Seitz (ed), Decennial Caltech Conference on VLSI, MIT Press, 1989.Google Scholar
- Carver Mead and Lynn Conway, Introduction to VLSI Systems, Addison-Wesley, Reading MA, 1980.Google Scholar
- Charles L. Seitz, System Timing, Chapter 7 in Mead & Conway, Introduction to VLSI Systems, Addison-Wesley, Reading MA, 1980.Google Scholar