Optimization of multiple-valued AND-EXOR expressions using multiple-place decision diagrams

Abstract

The author presents an optimization method for pseudo-Kronecker expressions of p-valued-input, two-valued-output functions using multiplace decision diagrams for p=2 and p=4. A conventional method using extended truth tables requires memory of O(3/sup n/) to simplify an n-variable expression, and is only practical for functions of up to n=14 variables when p=2. The method presented utilizes and can optimize considerably larger problems. Experimental results for up to n=39 variables are shown.<>