Marek A. Perkowski
Department of Electrical Engineering, Portland State University,
P.O. Box 751, Portland, Oregon 97207, tel. (503) 725-5411
Abstract-- The paper presents a new representation of Boolean and multiple-valued functions, called Cube Diagram Bundles. This representation is especially good for very strongly unspecified functions. The disjoint cubes of the original function as well as the original variables are re-encoded with a smaller number of new variables, so that several smaller BDDs are used to represent the function. This representation allows to efficiently implement algorithms based on the Cube Calculus and calculus of Rough Partitions.
As an application of this new general-purpose representation we discuss a generalized, goal-oriented multi-level decomposition, that makes special use of EXOR-based decompositions. Our unified approach includes the decompositions of Ashenhurst, Curtis, Steinbach et al, Luba et al, and Perkowski et al as special cases.