Skip to main content

Multiple-Level Logic Optimization System

  • Chapter
The Best of ICCAD

Abstract

MIS is a multi-level logic synthesis and minimization system and is an integral part of the Berkeley Synthesis Project. MIS starts from a description of a combinational logic macro-cell and produces an optimized set of logic equations which preserves the input-output behavior of the macro-cell. The system includes algorithms for minimizing the area required to implement the logic equations, and a global timing optimization step which is used to change the form of the logic equations along the critical path in order to meet system-level timing constraints. This paper provides an overview of the optimization system including the input language, the algorithms which minimize the area of the implementation, and the algorithms used to re-structure the logic network to meet the system-level timing constraints. Although the system is still under development, pieces of an industrially designed chip have been re-synthesized with MIS and the results compare favorably with the manual designs.

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 259.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 329.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. K. Bartlett, R. Brayton, G. Hachtel, R. Jacoby, R. Rudell, A. Sangiovanni-Vincentelli, and A. Wang. Multilevel Logic Minimization using Implicit Don’t-Cares. In Proceedings International Conference on Computer Design (ICCD), pages 552–557, October 1986.

    Google Scholar 

  2. R. Brayton and C. McMullen. The Decomposition and Factorization of Boolean Expressions. In Proceedings International Symposium on Circuits and Systems (ISCAS), pages 49–54, 1982.

    Google Scholar 

  3. R. Brayton and C. McMullen. Synthesis and Optimization of Multistage Logic. In Proceedings International Conference on Computer Design (ICCD), pages 23–28, 1984.

    Google Scholar 

  4. R. Brayton, C. McMullen, G. Hachtel, and A. Sangiovanni-Vincentelli. Logic Minimization Algorithms for VLSI Synthesis. Springer Science+Business Media New York, 1984.

    Book  MATH  Google Scholar 

  5. R. Katz (ed). Proceedings of CS292i: Implementation of VLSI Systems. University of California, 1985.

    Google Scholar 

  6. D. Harrison, P. Moore, R. Spickelmier, and A. R. Newton. Data Management and Graphics Editing in the Berkeley Design Environment. In Proceedings International Conference on Computer-Aided Design (ICCAD), pages 20–24, November 1986.

    Google Scholar 

  7. D. Patterson and C. Sequin. A VLSI RISC. IEEE Computer, 15(9):8–21, 1982.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer Science+Business Media New York

About this chapter

Cite this chapter

Brayton, R. et al. (2003). Multiple-Level Logic Optimization System. In: Kuehlmann, A. (eds) The Best of ICCAD. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-0292-0_15

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-0292-0_15

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-5007-1

  • Online ISBN: 978-1-4615-0292-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics