Title :
An effective computer algorithm for the calculation of disjoint cube representation of Boolean functions
Author :
Falkowski, Bogdan J. ; Schafer, Iwan ; Chang, Chip-Hong
Author_Institution :
Sch. of Electr. & Electron. Eng., Nanyang Technol. Inst., Singapore
Abstract :
An efficient computer algorithm is shown to calculate an optimal cube array specification of Boolean functions. Since the number of disjoint cubes is much smaller than the number of minterms, the memory requirements are significantly reduced. The results of a comparison of the execution of the program with ESPRESSO for the MCNC benchmark functions are given
Keywords :
Boolean functions; logic CAD; logic arrays; Boolean functions; ESPRESSO; MCNC benchmark functions; design automation; disjoint cube representation; logic synthesis; memory requirements; minterms; optimal cube array specification; Algorithm design and analysis; Boolean functions; Calculus; Circuit analysis; Data preprocessing; Drives; Logic arrays; Logic design; Sorting;
Conference_Titel :
Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on
Conference_Location :
Detroit, MI
Print_ISBN :
0-7803-1760-2
DOI :
10.1109/MWSCAS.1993.343341
