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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
R. Brayton and C. McMullen. Synthesis and Optimization of Multistage Logic. In Proceedings International Conference on Computer Design (ICCD), pages 23–28, 1984.
R. Brayton, C. McMullen, G. Hachtel, and A. Sangiovanni-Vincentelli. Logic Minimization Algorithms for VLSI Synthesis. Springer Science+Business Media New York, 1984.
R. Katz (ed). Proceedings of CS292i: Implementation of VLSI Systems. University of California, 1985.
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.
D. Patterson and C. Sequin. A VLSI RISC. IEEE Computer, 15(9):8–21, 1982.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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