FDD based technology mapping for FPGA

Functional decision diagrams (FDD) are shown to be a very efficient alternative to binary decision diagrams (BDD). FDDs are a representation in the functional domain, since they are based on the Reed-Muller Expansion and not on the sum-of-products form, which is suited to the operational domain. This paper introduces a technology mapping algorithm based on the FDDs and performing a direct mapping to look-up table FPGA. One can keep the main property of FDDs-their compactness-to obtain good results in very short CPU times