Implementing a Multiple-Valued Decision Diagram Package

Decision diagrams are the state-of-the-art representation for logic functions, both binary and multiple-valued. Here we consider issues regarding the efficient implementation of a package for the creation and manipulation of multiple-valued decision diagrams (MDDs). In particular, we identify issues that differ from binary decision diagram packages. We describe a matrix method for level interchange in MDDs that is essential for implementing variable reordering strategies. In addition, it is the basis for a novel approach to performing logic operations on MDDs, which we also present. Experimental results demonstrate the efficiency of this approach.

• Type: Conference
• Year: 1998
• Where: ISMVL
• Authors: D. Miller, Rolf Drechsler
• Keywords: Binary Decision Diagram, Decision Diagram, Hardware, ISMVL 1998, Multiple-valued Decision Diagrams