MICON: Automated Design of Computer Systems

  • William P. Birmingham
  • Anurag P. Gupta
  • Daniel P. Siewiorek
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 136)


Semiconductor technology is providing tremendous opportunities for high processing power, reliable, and low-cost computers in the office or lab. Many of these computers, spanning the range from personal computers to super-mini’s, are based on commercially available microprocessor family components. The high-end microprocessors available today commonly support virtual memory and main memory cache. Complementing these devices are a full array of high-performance dedicated processors (e.g. graphics controllers and numerical coprocessors) and communication components. A very sophisticated machine can be constructed almost entirely from off-the-shelf components. It appears that semiconductor designers have just begun to tap the well of possibilities, promising more performance and function in future chips.


IEEE Computer Society Hardware Designer Design Knowledge Design Situation Penalty Point 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    N. Balram, W.P. Birmingham, S. Brady, D.P. Siewiorek, and R. Tremain. The MICON system for single board computer design. In 1st Conf. on Application of AI to Engg. Problems. Computational Mechanics, April 1986.Google Scholar
  2. [2]
    W. P. Birmingham and D. P. Siewiorek. MICON: A knowledge-based single board computer designer. In Proc. of the 21st Design Automation Conference. IEEE Computer Society and ACM-SIGDA, IEEE Computer Society, 1984.Google Scholar
  3. [3]
    W. P. Birmingham and D. P. Siewiorek. Single Board Computer Synthesis. Technical Report EDRC-18–02–87, EDRC, Carnegie Mellon University, 1987.Google Scholar
  4. [4]
    W.P. Birmingham, A.P. Gupta, and D.P. Siewiorek. The MICON system for computer design. In Proc. of the 26th Design Automation Conference. IEEE Computer Society and ACM-SIGA, 1989.Google Scholar
  5. [5]
    W.P. Birmingham and D.P. Siewiorek. Automated knowledge acquisition for a computer hardware synthesis system. Knowledge Acquisition Journal, 1:321–340, 1989.CrossRefGoogle Scholar
  6. [6]
    A. Daga. Failure handling in the MICON system. Master’s thesis, The University of Michigan, EECS Department, CSE Division, December 1989.Google Scholar
  7. [7]
    A. Daga and W.P. Birmingham. Failure recovery in the MICON system. In Proc. of the 27th Design Automation Conf. IEEE Computer Society and ACM-SIGDA, 1990.Google Scholar
  8. [8]
    P. Edmond, A.P. Gupta, D.P. Siewiorek, and A. A. Brennan. ASSURE: Automated design for dependability. In Proc. of the 27th Design Automation Conf. IEEE Computer Society and ACM-SIGDA, 1990.Google Scholar
  9. [9]
    A. P. Gupta. A Hierarchical Problem Solving Architecture for Design Synthesis of Single Board Computers. Technical Report CMUCAD-88–5, Carnegie Mellon University, ECE Dept., February 1988. Master’s thesis.Google Scholar
  10. [10]
    A.P. Gupta and D.P. Siewiorek. Ml: A small computer system synthesis tool. In 6th IEEE Conf. on AI Appl. Proc.,pages 230–236, 1990.Google Scholar
  11. [11]
    E. L. Gursoz, Y. Choi, and F. B. Prinz. Vertex-based representation of non-manifold boundaries. In J. Turner M.J. Wozny and K. Preiss, editors, IFIP TC 5/WG 5.2 Second Workshop on Geometric Modelling. September 1988.Google Scholar
  12. [12]
    D. Haworth and W.P. Birmingham. ADEFT: automated design for testability. In University programs in computer aided engineering, design and manufacturing, pages 122–127. The University of Michigan, College of Engineering, August 1990.Google Scholar
  13. [13]
    V.E. Kelly. The CRITTER system: Automated critiquing of digital circuit designs. In Proc. of the 21st Design Automation Conference. IEEE and ACM-SIGDA, IEEE Computer Society, 1984.Google Scholar
  14. [14]
    C. Maunder and R. Beenker. Boundary scan: A framework for structured design-for-test. In Proceedings of the 1987 International Test Conference, pages 714–723. IEEE, 1987.Google Scholar
  15. [15]
    J. McDermott. R1: A rule-based configurer of computer systems. Artificial Intelligence, 19(2):39–88, 1982.CrossRefGoogle Scholar
  16. [16]
    M. C. McFarland, A. C. Parker, and R. Camposano. Tutorial on high-level synthesis. In Proceedings of the 25th Design Automation Conference, pages 330–336. IEEE Computer Society, 1988.Google Scholar
  17. [17]
    R.M. Stallman and G.J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:136–196, 1977.CrossRefGoogle Scholar
  18. [18]
    L. Trevillyan. An overview of logic synthesis systems. In 24th Design Automation Conference. IEEE Computer Society and ACM-SIGDA, 1987.Google Scholar
  19. [19]
    L. E. Weiss, E. L. Gursoz, F. B. Prinz, S. Mahalingam, and P. S. Fussel. Rapid Prototyping of Tools. Technical Report CMU-RI-TR-89–25, Robotics Institute, Carnegie-Mellon University, 1989.Google Scholar
  20. [20]
    T. W. Williams and K. P. Parker. Design for testability - a survey. Proceedings of the IEEE, 71(1):98–112, 1983.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1991

Authors and Affiliations

  • William P. Birmingham
    • 1
  • Anurag P. Gupta
    • 2
  • Daniel P. Siewiorek
    • 2
  1. 1.EECS DeptUniversity of MichiganAnn ArborUSA
  2. 2.ECE DeptCarnegie Mellon UniversityPittsburghUSA

Personalised recommendations