Available Minimization Programms
The currently available minimization programs that are hosted in our server are listed bellow. For formal definition of terms such as "minterm", "PLA" etc, please refer to the paper "Exact ESCT Minimization for functions of up to six input variables".
ESOP DC MIN: This is a heuristic algorithm that calculates ESOP expressions for the multi-output input function. The applet takes as input an input file and the maximum number of expressions that are calculated for each node of the generator tree. The input file is a text file with 4 rows: the first has the number of inputs of the function, the second row holds the number of outputs, the third line holds the Multi-Valued MinTerm (MVMT) of the ON-SETof the function and the fourth line the MVMT of the DC-SET (don't care set) of the input function. Please download the example input file of the following link.
QuiXor: This is a heuristic algorithm for minimizing ESOP expressions of functions whose first input variable is multi-valued. The corresponding applet takes as input a text file that is formated as follows: The first line is the number of input variables, the second is the number of outputs, the third is the number of terms of the input cover and each of the following lines is a term in PLA format. For example:
4
1
4
0001 1
0101 1
0110 1
0111 1
This algorithm is presented in the paper "Multiple-Value Exclusive-or sum-of-products Minimization Algorithms".
Min2-EW7Min: It is an exact algorithm for the minimization of ESCT expressions of up to 8 terms (for single-output function). This algorithm is presented in the paper "Finding Minimal ESCT Expressions for Boolean Functions with Weight of Up to 7".
Xor8b: It is an exact algorithm for the minimization of ESOP expressions of up to 8 terms. The input consists of the number of variables of the input function and the function itself in MT formulation. The output consists of the terms of the minimized function. This algorithm is presented in the paper "Exact esop expressions with less than eight product terms".
XOR14: It is an exact algorithm for the minimization of ESOP expressions of up to 12 terms (for single-output function). The corresponding applet takes as input the input function (in either PLA or MT formulation with the alternative to use file input) and the number of the input variables of the function. This algorithm is presented in the paper "Towards a promising general novel exact esop minimization methodology".
XMin6: It is an exact algorithm for the minimization of ESCT expressions of up to 6 input variables (for single-output function). The corresponding applet takes as input the input function (in either PLA or MT formulation with the alternative to use file input) and the number of the input variables of the function. This algorithm is presented in the paper "Exact ESCT Minimization for functions of up to six input variables".
EMin1: It is aheuristic algorithm for the minimization of ESCT expressions (for single-output function). The corresponding applet takes as input the input function (in either PLA or MT formulation with the alternative to use file input) and the number of the input variables of the function. This algorithm is presented in the paper "Maitra Cascade Minimization".