Skip to main content

MICON: Automated Design of Computer Systems

  • Chapter
High-Level VLSI Synthesis

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. 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. W.P. Birmingham and D.P. Siewiorek. Automated knowledge acquisition for a computer hardware synthesis system. Knowledge Acquisition Journal, 1:321–340, 1989.

    Article  Google Scholar 

  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. 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. 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. 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. 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. 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. 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. 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. 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. J. McDermott. R1: A rule-based configurer of computer systems. Artificial Intelligence, 19(2):39–88, 1982.

    Article  Google Scholar 

  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. 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.

    Article  Google Scholar 

  18. L. Trevillyan. An overview of logic synthesis systems. In 24th Design Automation Conference. IEEE Computer Society and ACM-SIGDA, 1987.

    Google Scholar 

  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. T. W. Williams and K. P. Parker. Design for testability - a survey. Proceedings of the IEEE, 71(1):98–112, 1983.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer Science+Business Media New York

About this chapter

Cite this chapter

Birmingham, W.P., Gupta, A.P., Siewiorek, D.P. (1991). MICON: Automated Design of Computer Systems. In: Camposano, R., Wolf, W. (eds) High-Level VLSI Synthesis. The Springer International Series in Engineering and Computer Science, vol 136. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-3966-7_5

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-3966-7_5

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-6771-0

  • Online ISBN: 978-1-4615-3966-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics