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 (ROBDD) 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 thesis a new decision diagram based model, the 123 Decision Diagram (123DD), that relaxes some of the constraints of ROBDDs is used to synthesize multiplexor-based FPGAs. 123DD combines both the advantages of ROBDD and BDD. This thesis focused on the widely used ACTEL FPGAs with emphasis on the general ACT cell. Paper copy at Leddy Library: Theses & Major Papers - Basement, West Bldg. / Call Number: Thesis1998 .A76. Source: Masters Abstracts International, Volume: 39-02, page: 0557. Adviser: Arunita Jaekel. Thesis (M.Sc.)--University of Windsor (Canada), 1998