Title :
A modified approach to two-level logic minimization
Author :
Malik, A.A. ; Brayton, R.K. ; Newton, A.R. ; Sangiovanni-Vincentelli, A.L.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., California Univ., Berkeley, CA, USA
Abstract :
A methodology in which it is not necessary to compute the entire offset is presented, that still provides a global picture. This scheme has been implemented in ESPRESSO with an interface to the multilevel minimization environment MIS. Initial results show that for functions for which the ratio of the size of the cover to the size of the don´t care set is small, the new approach is much faster. The initial interest was to use this mainly in a multilevel logic synthesis system where the desired don´t care sets are typically large. Some results in this environment are given, and the new scheme is compared with ESPRESSO.<>
Keywords :
logic CAD; minimisation of switching nets; ESPRESSO; global; multilevel logic synthesis system; multilevel minimization environment; offset; Boolean functions; Contracts; Minimization methods; Programmable logic arrays; Testing;
Conference_Titel :
Computer-Aided Design, 1988. ICCAD-88. Digest of Technical Papers., IEEE International Conference on
Conference_Location :
Santa Clara, CA, USA
Print_ISBN :
0-8186-0869-2
DOI :
10.1109/ICCAD.1988.122473
