Functional Decomposition based on Multi-Valued Decision Diagrams

M. Pleban, P. Buciak, and H. Niewiadomski (Poland), H. Selvaraj (USA), and P. Sapiecha and T. Łuba (Poland)


BDD functional decomposition, sifting heuristic


Reduced Ordered Multi-valued Decision Diagrams (ROMDDs) are a generalization of binary version, widely used in logic synthesis. Authors present in the paper how ROMDDs can be used to perform functional decomposition of multi-valued functions. Additionally, a modification of the siftingCut-node-set during ROMDD construction. This modification is better suited for performing decomposition, as the results show.

Important Links:

Go Back