Synthesis of multiplexor-based FPGAs using 123-decision diagrams

Field programmable gate arrays (FPGAs) are programmable devices that can be directly configured by the end user. Reduced Ordered Binary Decision Diagrams (ROBDDs) have been used for the synthesis of multiplexor-based FPGAs. However, ROBDDs are extremely sensitive to variable ordering and require all branches to have the same ordering. In this paper we use a new decision-diagram based model, the 123 decision diagram (123dd), to synthesize multiplexor-based FPGAs. We have focussed on the widely used family of ACTEL FPGAs. The 123dd model relaxes some of the constraints of ROBDDs and leads to more efficient FPGA realizations.