Synthesizing Asynchronous Circuits: Practice and Experience

  • Al Davis
Conference paper
Part of the Workshops in Computing book series (WORKSHOPS COMP.)

Abstract

Asynchronous circuit design has been a topic of study for over 40 years. Only recently has this study turned to the practical issues of building useful CAD tool support that approaches the level of functionality available in synchronous VLSI CAD systems. The existence of these asynchronous CAD systems enables today’s designers to construct asynchronous VLSI devices of significant size and scope. This chapter provides a reasonably detailed description of the process of developing a set of VLSI CAD tools which permit correct controller circuits to be synthesized from finite state machine style specifications. The tools were developed in two stages. The first stage resulted in a set of tools called MEAT, which were used to implement a 300,000 transistor multiprocessor routing chip called the Post Office. This Post Office experience provided the motivation for the second stage which resulted in the STETSON tool set which is integrated with the Mentor VLSI tool suite and was used to synthesize a low-power infrared transceiver chip called ABCS. The chapter presents a somewhat chronological view of the development of the CAD methods and provides examples of how well these methods worked in a practical design setting.

Keywords

Hexagonal Assure Expense Arena Nite 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    H. B. Bakoglu. Circuits, Interconnections, and Packaging for VLSI. Addison-Wesley, 1990.Google Scholar
  2. [2]
    Erik Brunvand and Robert Sproull. Translating Concurrent Programs into Delay-Insensitive Circuits. In IEEE International Conference on Computer Aided Design: Digest of Technical Papers, pages 262–265. IEEE Computer Society Press, 1989.Google Scholar
  3. [3]
    Steven M. Burns and Alain J. Martin. The Fusion of Hardware Design and Verification, chapter Synthesis of Self-Timed Circuits by Program Transformation, pages 99–116. Elsevier Science Publishers, 1988.Google Scholar
  4. [4]
    Carnegie-Mellon University. User’s Guide to COSMOS.Google Scholar
  5. [5]
    Tam-Anh Chu. On the models for designing VLSI asynchronous digital systems. Technical Report MIT-LCS-TR-393, MIT, 1987.Google Scholar
  6. [6]
    Henry Y. H. Chuang and Santanu Das. Synthesis of multiple-input change asynchronous machines using controlled excitation and flip-flops. IEEE Transactions on Computers, C-22(12): 1103–1109, December 1973.Google Scholar
  7. [7]
    William S. Coates. “The Design of an Instruction Stream Memory Subsystem”. Master’s thesis, University of Calgary, December 1985.Google Scholar
  8. [8]
    A. Davis. “The Mayfly Parallel Processing System”. Technical Report HPL-SAL-89–22, Hewlett-Packard Company, March 1989.Google Scholar
  9. [9]
    A. L. Davis. The Architecture of DDM1: A Recursively Structured Data-Driven Machine. Technical Report UUCS-77–113, University of Utah, Computer Science Dept, 1977.Google Scholar
  10. [10]
    A. L. Davis. Mayfly: A General-Purpose, Scalable, Parallel Processing Architecture. Lisp and Symbolic Computation, 5 (1/2): 7–47, May 1992.CrossRefGoogle Scholar
  11. [11]
    A. L. Davis, B. Coates, R. Hodgson, R. Schediwy, and K. Stevens. Mayfly System Hardware. Technical Report HPL-SAL-89–23, Hewlett-Packard Laboratories, April 1989.Google Scholar
  12. [12]
    David Dill. Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits. An ACM Distinguished Dissertation. MIT Press, 1989.Google Scholar
  13. [13]
    William I. Fletcher. An Engineering Approach to Digital Design. Prentice-Hall, 1980.Google Scholar
  14. [14]
    A. D. Friedman and P. R. Menon. Synthesis of asynchronous sequential circuits with multiple-input changes. IEEE Transactions on Computers, C-17(6): 559–566, June 1968.Google Scholar
  15. [15]
    R. M. Fujimoto. VLSI Communication Components for Multicomputer Networks. PhD thesis, Univ. of California at Berkeley, August 1983.Google Scholar
  16. [16]
    A Grasselli and F. Luccio. A Method for Minimizing the Number of Internal States of Incompletely Specified Sequential Networks. IEEE TEC, June 1965.Google Scholar
  17. [17]
    A. B. Hayes. Stored State Asynchronous Sequential Circuits. IEEE Transactions on Computers, C-30(8), August 1981.Google Scholar
  18. [18]
    C. A. R. Hoare. Communicating sequential processes. CA CM,21(8):666677, Aug 1978.Google Scholar
  19. [19]
    Lee A. Hollaar. Direct implementation of asynchronous control units. IEEE Transactions on Computers, C-31(12): 1133–1141, December 1982.Google Scholar
  20. [20]
    K. Keutzer. DAGON: Technology binding and local optimization by DAG matching. In 24th Design Automation Conference, pages 341–347. IEEE/ACM, 1987.Google Scholar
  21. [21]
    L. Lavagno, K. Keutzer, and A. Sangiovanni-Vincentelli. Synthesis of Verifiably Hazard-Free Asynchronous Control Circuits. In Carlo H. Sequin, editor, Proceedings of the 1991 UC Santa Cruz Conference on Advanced Research in VLSI. MIT Press, 1991.Google Scholar
  22. [22]
    G. Mago. Realization methods for asynchronous sequential circuits. IEEE Transactions on Computers, C-20(3): 290–297, March 1971.Google Scholar
  23. [23]
    F. Mailhot. Technology Mapping for VLSI Circuits Exploiting Boolean Properties and Optimizations. PhD thesis, Stanford University, 1991.Google Scholar
  24. [24]
    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 Reserach in VLSI: Proceeedings of the Decennial Caltech Conference on VLSI, pages 351–373. MIT Press, 1989.Google Scholar
  25. [25]
    Alain Martin. Compiling Communicating Processes into Delay-Insensitive VLSI Circuits. Distributed Computing, 1 (1): 226–234, 1986.MATHCrossRefGoogle Scholar
  26. [26]
    Alain Martin. The Limitations to Delay-Insensitivity in Asynchronous Circuits. In William J. Dally, editor, Sixth MIT Conference on Advanced Research in VLSI, pages 263–278. MIT Press, 1990.Google Scholar
  27. [27]
    C. Mead and L. Conway. Introduction to VLSI Systems. McGraw-Hill, 1979. Chapter 7.Google Scholar
  28. [28]
    Teresa Meng. Synchronization Design for Digital Systems Kluwer Academic, 1990.Google Scholar
  29. [29]
    Charles E. Molnar, Ting-Pien Fang, and Frederick U. Rosenberger. Synthesis of Delay-Insensitive Modules. In Henry Fuchs, editor, Chapel Hill Conference on Very Large Scale Integration, pages 67–86. Computer Science Press, 1985.Google Scholar
  30. [30]
    S. M. Nowick and B. Coates. UCLOCK: automated design of high-performance unclocked state machines. In Proceedings of the 1994 IEEE International Conference on Computer Design: VLSI in Computers and Processors, pages 434–441, October 1994.CrossRefGoogle Scholar
  31. [31]
    S. M. Nowick and D. L. Dill. Synthesis of asynchronous state machines using a local clock. In 1991 IEEE International Conference on Computer Design: VLSI in Computers and Processors. IEEE Computer Society, 1991.Google Scholar
  32. [32]
    S. M. Nowick, K. Y. Yun, and D. L. Dill. Practical asynchronous controller design. In 1992 IEEE International Conference on Computer Design: VLSI in Computers and Processors. IEEE Computer Society, 1992.Google Scholar
  33. [33]
    Steve Nowick. Automatic Synthesis of Burst-Mode Asynchronous Controllers. PhD thesis, Stanford University, 1993.Google Scholar
  34. [34]
    Steven M. Nowick and David L. Dill. Automatic synthesis of locally-clocked asynchronous state machines. In 1991 IEEE International Conference on Computer-Aided Design. IEEE Computer Society, 1991.Google Scholar
  35. [35]
    S. S. Patil. Coordination of asynchronous events. Technical Report TR-72, MIT Project MAC, June 1970.Google Scholar
  36. [36]
    Steven M. Rubin. Computer Aids for VLSI Design. VLSI Systems. Addison-Wesley, 1987.Google Scholar
  37. [37]
    R. Rudell. Logic Synthesis for VLSI Design PhD thesis, U. C. Berkeley, April 1989. Memorandum UCB/ERL M89/49.Google Scholar
  38. [38]
    Polly Siegel. Technology Mapping for Asynchronous Designs. PhD thesis, Stanford, January 1995.Google Scholar
  39. [39]
    Kenneth S. Stevens. The Communications Framework for a Distributed Ensemble Architecture. AI 47, Schlumberger Palo Alto Research, February 1986.Google Scholar
  40. [40]
    Kenneth S. Stevens, Shane V Robison, and A.L. Davis. “The Post Office — Communication Support for Distributed Ensemble Architectures”. In Proceedings of 6th International Conference on Distributed Computing Systems, pages 160 — 166, May 1986.Google Scholar
  41. [41]
    I. E. Sutherland, R. F. Sproull, C. E. Molnar, and E. H. Frank. Asynchronous Systems, Volume I. Technical report, Sutherland Sproull and Associates, Palo Alto, CA, January 1985.Google Scholar
  42. [42]
    Ivan E. Sutherland and Robert F. Sproull. Logical effort: Designing for speed on the back of an envelope. In Carlo H. Sequin, editor, Proceedings of the 13th Conference on Advanced Research in VLSI, pages 1–16. UC Santa Cruz, March 1991.Google Scholar
  43. [43]
    J. H. Tracey. Internal state assignments for asynchronous sequential machines. IEEE Transactions on Electronic Computers, EC-15: 551–560, August 1966.Google Scholar
  44. [44]
    S. H. Unger. A Building Block Approach to Unclocked Systems. In Proceedings of the 26th HICSS Conference, January 1993. To appear.Google Scholar
  45. [45]
    S.H. Unger. Asynchronous sequential switching circuits. Wiley- Interscience, 1969.Google Scholar
  46. [46]
    C. H. (Kees) van Berkel. Handshake circuits: an intermediary between communicating processes and VLSI. PhD thesis, Technical University of Eindhoven, May 1992.MATHGoogle Scholar
  47. [47]
    Kees van Berkel. Beware the Isochronic Fork. Integration, the VLSI journal, 13 (2): 103–128, 1990.CrossRefGoogle Scholar
  48. [48]
    Peter Vanbekbergen, Francky Catthoor, Gert Goossens, and Hugo De Man. Optimized synthesis of asynchronous control circuits from graph-theoretic specifications. In International Conference on Computer-Aided Design. IEEE Computer Society Press, 1990.Google Scholar
  49. [49]
    K. Yun and D. L. Dill. Automatic synthesis of 3D asynchronous finite-state machines. In Proceedings of the International Workshop on Computer-Aided Design, pages 576–580, November 1992.Google Scholar

Copyright information

© Springer-Verlag London 1995

Authors and Affiliations

  • Al Davis
    • 1
  1. 1.Department of Computer ScienceUniversity of UtahSalt Lake CityUSA

Personalised recommendations