The MICON system for computer design

ABSTRACT

The MICON system is an integrated collection of programs which automatically synthesizes small computer systems from high level specifications. The system addresses multiple levels of design, from logical through physical, providing a rapid prototyping capability. Two programs form MICON's nucleus: a knowledge-based synthesis tool called M1; and, an automated knowledge acquisition tool named CGEN which is used to teach M1 how to design. Other tools in the MICON system are an integrated database and associated data management tools. The system is fully functional, having been used to generate designs that have been fabricated. This paper describes the architecture and operation of the MICON system.

REFERENCES

• 1: Accel Technologies, Inc. TangoPCg User's Manual. 1986.
• 2: N. Balram, W.P. Birmingham, S. Brady, D.P. Siewiorek, and R. Tremain. The M/CON system for single board computer design. In 1st Conf. on Application of AJ to Engg. Problems, Computational Mechanics, April 1986.
• 3: M.R. Barbacci. Instruction set processor specification (ISPS): the notation and its applications. IEEE Transactions on Computer-Aided Design, CAD-5(4), 1981.
• 4: W. Birmingham and J. Kim. DAS/Logic: a rule-bas,~d logic design assistant. In The Second Conference on Artificial Intelligence Applications, IEEE Computer Society, December 1985.
• 5: W. P. Birmingham. Aulomated Knowledge Acquisition for a Hierarchical Synthesis System. Technical Report CMUCAD-88-25, ECE Dept, Carnegie Mellon University, 1988.
• 6: W. P. Birmingham , D. P. Siewiorek, Capturing designer expertise the CGEN system, Proceedings of the 26th ACM/IEEE conference on Design automation, p.610-613, June 25-28, 1989, Las Vegas, Nevada, United States [doi>10.1145/74382.74487]
• 7: W. P. Birmingham and D. P. Siewiorek. MIC,DN: a knowledge-based single board computer designer. Irt Proc. of the 21st Design Automation Conference, IEEE and ACM- SIGDA, IEEE Computer Society, 1984.
• 8: W.P. Birmingham and D. P. Siewiorek. Single Board Computer Synthesis. Technical Report EDRC-18-02-87, Engineering Design Center, Carnegie Mellon University, 1987.
• 9: W.P. Birmingham, A. Kapoor, D.P. Siewiorek, and N. Vidovic. The design of an integrated environment for the automated synthesis of small computer systems, in Proc. of the Hawaii lntl. Conf. on System Sciences - 22, IEEE Computer Society, January 1989.
• 10: A. A. Brennan. Automatic Synthesis for Reliability. Technical Report CMUCAD-88-2, Carnegie-Mellon University, ECE Dept., January t988.
• 11: Forrest D. Brewer , Daniel D. Gajski, An expert-system paradigm for design, Proceedings of the 23rd ACM/IEEE conference on Design automation, p.62-68, July 1986, Las Vegas, Nevada, United States
• 12: John A. Darringer , Daniel Brand , John V. Gerbi , William H. Joyner, Jr. , Louise Trevillyan, LSS: a system for production logic synthesis, IBM Journal of Research and Development, v.28 n.5, p.537-545, September 1984
• 13: S.W. Director, A.C. Parker, D.P. Siewiorek, and D.E. Thomas, Jr. A design methodology and computer aids for digital VLSI systems. 1EEE Transactions on Circuits and Systems, CAS-28(7):634-645, 1981.
• 14: E. Dirkes. A Module Binder for the CMU-DA System. Technical Report CMUCAD-85-43, Department of Electrical and Computer Engineering, Carnegie Mellon University, 1985.
• 15: J.R. Dixon. Artificial intelligence and design: a mechanical engineering view. In Proc. of AAAI-86, Morgan Kaufmann Publishers, 1986.
• 16: David Gregory , Karen Bartlett , Aart de Geus , Gary Hachtel, SOCRATES: a system for automatically synthesizing and optimizing combinational logic, Proceedings of the 23rd ACM/IEEE conference on Design automation, p.79-85, July 1986, Las Vegas, Nevada, United States
• 17: A. P. Gupta. A Hierarchical Problem Solving Architecture for Design Synthesis of Singte Board Computers. Technical Report CMUCAD-88-5, Carnegie Melhan University, ECE Dept., February 1988.
• 18: R. Harjani , R. A. Rutenbar , L. R. Carley, A prototype framework for knowledge-based analog circuit synthesis, Proceedings of the 24th ACM/IEEE conference on Design automation, p.42-49, June 28-July 01, 1987, Miami Beach, Florida, United States [doi>10.1145/37888.37894]
• 19: Van E. Kelly, The CRITTER system: Automated critiquing of digital circuit designs, Proceedings of the 21st conference on Design automation, p.419-425, June 25-27, 1984, Albuquerque, New Mexico, United States
• 20: Thaddeus J. Kowalski, An Artificial Intelligence Approach to VLSI Design, Kluwer Academic Publishers, Norwell, MA, 1985
• 21: D. Bobrow M. Stefik, A. Bell, H. Brow:a, L. Conway, and C. Tong. 1'he Partitioning of Concerns in Digital System Design. Techrfical Report VLSI-81-3, Xerox Palo Alto Research Centers, 1981.
• 22: J. McDermott. RI: ~t rule-based configurer of computer systems. Artificial lntell~;gence, 19(2), 1982.
• 23: Michael C. McFarland, Using bottom-up design techniques in the synthesis of digital hardware from abstract behavioral descriptions, Proceedings of the 23rd ACM/IEEE conference on Design automation, p.474-480, July 1986, Las Vegas, Nevada, United States
• 24: T.M. Mitchell, L.1. Steinberg, and J.S. Shulman. A knowledge-based approach to design, IJEEE Transactions on Pattern Analysis and Machine Intelligence, PAMI-7(5), September 1985.
• 25: B.M. Pangrle and D.D. Gajski. Design tools for intelligent silicon compilation. IEEE Transactions ott Computer-Aided Design, CAD-6(6), 1987.
• 26: N. Park and A.C. Parker. SEHWA: a software package for synthesis of pipelines from behavioral speCifications. IEEE Transactions on Computer-Aided Design, CAD-7(3), 1988.
• 27: T.C. Raymond. LSI/VLSI design automation, Computer, 14(7), July 1981.
• 28: Incorporated Relational Database Systems. lnformix-SQL Relational Database Management Syster,~ and Reference Manual. 1986.
• 29: D. E. Thomas , E. M. Dirkes , R. A. Walker , J. V. Rajan , J. A. Nestor , R. L. Blackburn, The system architect's workbench, Proceedings of the 25th ACM/IEEE conference on Design automation, p.337-343, June 12-15, 1988, Atlantic City, New Jersey, United States
• 30: R.A. Walker and D.E. Thomas, Design representation and transformation in the System Architect's Workbench. In IEEE lmernational Conference on Computer-Aided Design, IEEE Computer Society, 1987.
• 31: W.H. Wolf, T.I. Kowalski, and M.C. McFarland. Knowledge engineering issues in VLSI synthesis. In Proc. of AAA1-86, Morgan Kaufmann Publishers, 1986.

INDEX TERMS

Primary Classification:
  B. Hardware
  B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION
      B.5.2 Design Aids
          Subjects: Automatic synthesis

Additional Classification:
  C. Computer Systems Organization
  C.0 GENERAL
      Subjects: Systems specification methodology

  H. Information Systems
  H.2 DATABASE MANAGEMENT

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.2 Automatic Programming
          Subjects: Program synthesis
      I.2.6 Learning
          Subjects: Knowledge acquisition

General Terms:
Algorithms, Design, Performance