Issue No. 02 - February (1986 vol. 35)
P.W. Besslich , Section of Electrical Engineering, University of Bremen
A heuristic method to obtain near-minimal covers of p-valued switching functions is introduced. First, we describe transform tools useful in the processing of MVL functions. They are: p-adic shifting, weighting, and implicant detecting transformations. Based on these tools, a direct cover algorithm is presented that uses local information for heuristic decision making. The heuristics are taken from weight coefficients calculated for canonical terms and implicants. The method allows to assign cost factors to implicants. Further, the algorithms can be modified easily, so as to correspond to various connectives (e.g., MAX, PLUS).
weight transform, Cost of MVL literals and implicants, direct cover algorithm, heuristic minimization, implicant detecting transform, in-place signal-flow transformation, minimization of multiple-valued logic, MVL connectives, p-adic index system, p-adic shifting
P. Besslich, "Heuristic Minimization of MVL Functions: A Direct Cover Approach," in IEEE Transactions on Computers, vol. 35, no. , pp. 134-144, 1986.