Multilevel logic synthesis based on functional decision diagrams

The authors introduce an efficient data structure for Boolean function representation and present a new algorithm for the synthesis of multilevel logic. Other algorithms represent Boolean functions in the operational domain using Sum-of-Products representations. The authors prefer the synthesis in the functional domain using the less complex Reed-Muller Expansion. The algorithm bases on a new efficient representation, the so-called functional decision diagrams, which are herewith presented. The authors implemented this algorithm, the results are encouraging