DocumentCode :
451957
Title :
A New Viewpoint on Two-Level Logic Minimization
Author :
Coudert, Olivier ; Madre, Jean Christophe ; Fraisse, Henri
Author_Institution :
Bull Corporate Research Center, Les Clayes-sous-bois, FRANCE
fYear :
1993
fDate :
14-18 June 1993
Firstpage :
625
Lastpage :
630
Abstract :
This paper presents a new 2-level logic minimization procedure. It consists of computing in an implicit way the cyclic core of the Boolean function f to be minimized. This computation is done through original transformations of sets covering problems that take full advantage of the metaproduct based implicit set of products manipulations. The computational cost of this new procedure is independent of the number of minterms of the function f and of its number of prime implicants, which allows us to treat functions for which these numbers are so large that it has never been possible to perform a 2-level minimization. This method is, as far as we know, the first one that is able to produce the cyclic cores of all the functions of the MCNC benchmark.
Keywords :
Boolean functions; Computational efficiency; Data structures; Equations; Logic; Minimization methods; Performance evaluation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation, 1993. 30th Conference on
ISSN :
0738-100X
Print_ISBN :
0-89791-577-1
Type :
conf
DOI :
10.1109/DAC.1993.204023
Filename :
1600296
Link To Document :
بازگشت