Title :
EXORCISM-MV-2: minimization of exclusive sum of products expressions for multiple-valued input incompletely specified functions
Author :
Song, Ning ; Perkowski, Marek A.
Author_Institution :
Dept. of Electr. Eng., Portland State Univ., OR, USA
Abstract :
A cube operation, EXORLINK, and its application to the minimization of multiple-valued input, multi-output exclusive sums of products (ESOPs) for incompletely specified Boolean functions, are presented. EXORLINK generalizes all cube operations, such as crosslink, unlink, and X-merge. The authors´ program, EXORCISM-MV-2, gives efficient results for functions that are incompletely specified and have an arbitrary number of values for each of the input variables. This allows realization of a wider class of circuits that implement the multiple-valued input ESOP expressions. Evaluation on benchmark functions is also given and proves the superiority of the program to those known from the literature
Keywords :
Boolean functions; many-valued logics; minimisation of switching nets; Boolean functions; benchmark functions; cube operation; exclusive sum of products expressions; minimization; multiple-valued input incompletely specified functions; Arithmetic; Boolean functions; Built-in self-test; Circuit testing; Cryptography; Field programmable gate arrays; Input variables; Logic circuits; Minimization methods; Very large scale integration;
Conference_Titel :
Multiple-Valued Logic, 1993., Proceedings of The Twenty-Third International Symposium on
Conference_Location :
Sacramento, CA
Print_ISBN :
0-8186-3350-6
DOI :
10.1109/ISMVL.1993.289569
