Abstract
This paper is concerned with techniques for automatically reducing circuit size and improving testability. In an earlier paper [2], we introuced a new method for circuit optimization based on ideas of global-flow analysis. In this paper, we describe two extensions to the method. The first is a basic improvement in the primary result on which the earlier optimization was based, the second extends the applicability of the method to “conditional” optimizations as well. Together, these enhancements result in improved performance for the original algorithm, as well as the ability to handle designer-specified “don’t cares” and redundancy removal uniformly in the framework of a graph-based synthesis system, such as LSS[8].
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
F.E. Allen and J. Cocke, “A Program Data Flow Analysis Procedure”, CACM, vol. 19, no. 3, pp. 137–147, March, 1976.
L. Berman and L. Trevillyan, “A Global Approach to Circuit Size Reduction”,Advanced Research in VLSI, 5th MIT Conference, pp. 203–214, Cambridge, MA: MIT Press, March 28–30, 1988.
L. Berman, L. Trevillyan and D. Brand, “Applications of Global Flow Analysis in Logic Synthesis”, Proceedings of 1988 Int. Symp. on Circuits and Systems, Helsinki, Finland, Jun 7-9, 1988.
D. Brand, “Logic Synthesis”, Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation, pp. 301–326, Martinus Nijhoff, 1987.
R.K. Brayton, “Algorithms for Multi-Level Logic Synthesis and Optimization”, Design Systems for VLSI Circuits: Logic Synthesis and Silicon Compilation, pp. 197–248, Martinus Nijhoff, 1987.
R.K. Brayton, R. Rudell, A. Sangiovanni-Vincentelli and A.R. Wang, “MIS: A Multiple-Level Logic Optimization System”, IEEE Trans, on CAD, vol. CAD-6, no. 6, November 1987.
R.K. Brayton, E.M. Sentovich and F. Somenzi, “Don’t Cares and Global Flow Analysis of Boolean Networks”, Proceedings of the ICCAD, November 1988.
J.A. Darringer, D. Brand, J.V. Gerbi, W.H. Joyner and L.H. Trevillyan,”LSS: A System for Production Logic Synthesis”, IBM Journal of Research and Development, vol. 25, no. 4, pp. 272–280, July, 1981.
G. Hachtel, R. Jacoby, P. Moceynas and C. Morrison, “Performance Enhancements in BOLD using “Implications””, Proceedings of the ICCAD, November 1988.
L. Trevillyan, W. H. Joyner, Jr, and C.L. Berman, “Global Flow Analysis in Automatic Logic Design”, IEEE Trans, on Computers, vol C-25, no. 1, January 1986.
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
Berman, C.L., Trevillyan, L.H. (2003). Improved Logic Optimization Using Global-Flow Analysis. In: Kuehlmann, A. (eds) The Best of ICCAD. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-0292-0_17
Download citation
DOI: https://doi.org/10.1007/978-1-4615-0292-0_17
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-5007-1
Online ISBN: 978-1-4615-0292-0
eBook Packages: Springer Book Archive