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)

Keywords

BDD functional decomposition, sifting heuristic

Abstract

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:

• DOI:
• From Proceeding (362) Artificial Intelligence and Applications - 2002

Go Back