EXORCISM-MV-2: minimization of exclusive sum of products expressions for multiple-valued input incompletely specified functions

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.<
>