Title :
Communication based multilevel synthesis for multi-output Boolean functions
Author :
Molitor, Paul ; Scholl, Christoph
Author_Institution :
Dept. of Comput. Sci., Humboldt-Univ., Berlin, Germany
Abstract :
A multilevel logic synthesis technique for multi-output Boolean functions is presented which is based on minimizing the communication complexity. Unlike previous approaches, which in the final analysis decompose each single-output function fi of a multi-output function f=(f1, ..., fm) independently of the other single-output functions fj (j≠i), the approach presented in this paper gives special attention to the fact that there possibly exist some decomposition functions which can be used by different outputs during the decomposition of the single-output functions of f. The benchmarking results (taken from 1991 MCNC multilevel logic benchmarks) which close the paper are promising
Keywords :
Boolean functions; communication complexity; logic CAD; many-valued logics; benchmarking results; communication based multilevel synthesis; communication complexity minimisation; decomposition functions; multilevel logic synthesis technique; multioutput Boolean functions; Accidents; Boolean functions; Complexity theory; Computer science; Logic; Matrix decomposition; Partitioning algorithms; Testing;
Conference_Titel :
VLSI, 1994. Design Automation of High Performance VLSI Systems. GLSV '94, Proceedings., Fourth Great Lakes Symposium on
Conference_Location :
Notre Dame, IN
Print_ISBN :
0-8186-5610-7
DOI :
10.1109/GLSV.1994.289987