No description available.

A lot of work has been done over the last decade on the logic synthesis and technology mapping of field programmable gate arrays (FPGAs) based on a single size of lookup table (LUT). A significant part of the FPGA market is occupied by devices based on more than one type of lookup tables. Examples of these heterogeneous LUT-based FPGAs are the Xilinx 4000 series devices. The technology mapping for this class of FPGAs has hardly been considered. This thesis covers work on the synthesis for heterogeneous LUT-based FPGAs. The proposed scheme uses the typical steps of graph covering, decomposition, node elimination and Boolean graph simplification. The covering step is based on the concept of flow networks and cut-computation. A theory is devised that reduces the flow network sizes so that a dynamic programming approach can be used to compute the feasible cuts in the network. An iterative selection algorithm can then be used to compute the set cover of the network. For the decomposition, the conventional bin-packing (cube-packing) algorithm has been extended so that it produces two types of bins. It has also been enhanced to explore several packing possibilities and include cube division and cascading of nodes. The classical functional decomposition method is extended to heterogeneous graphs. In particular, variable partitioning is coupled with other decomposition methods and exploits the structure of the functions. Partial collapsing and re-decomposition are used to re-synthesise the graphs. A strategy for eliminating nodes within a heterogeneous graph is developed. A simplification strategy is also derived from logic optimisation techniques. Comparisons of the mapping results on Xilinx devices show an improvement of over 11% over existing mapping tools for the same devices.

Thesis (Ph. D.)--Virginia Polytechnic Institute, 1975. / Also available via the Internet.

Thesis (M.S.)--George Mason University, 2007. / Title from PDF t.p. (viewed Jan. 18, 2008). Thesis director: Elizabeth White. Submitted in partial fulfillment of the requirements for the degree of Master of Science in Computer Science. Vita: p. 152. Includes bibliographical references (p. 150-151). Also available in print.

Thesis (M.S.)--Rochester Institute of Technology, 1988. / Includes bibliographical references.

Thesis (M.S.)--Rochester Institute of Technology, 1990. / Spine title: Inspections applied in a small-scale development. Includes bibliographical references (leaves 38-39).

Thesis (M.Sc.) -- University of Adelaide, 1958. / Typewritten copy.

Thesis(M.S.)--Auburn University, 2005. / Abstract. Includes bibliographic references (p.85-88).

Thesis (Ph. D.)--University of Hong Kong, 2009. / Includes bibliographical references (p. 218-232) Also available in print.

Thesis (Ph. D.)--University of North Texas, May, 2008. / Title from title page display. Includes bibliographical references.