A Boolean -based layout approach and its application to FPGA routing.
dc.contributor.author | Nam, Gi-Joon | |
dc.contributor.advisor | Sakallah, Karen A. | |
dc.date.accessioned | 2016-08-30T16:46:32Z | |
dc.date.available | 2016-08-30T16:46:32Z | |
dc.date.issued | 2001 | |
dc.identifier.uri | http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:3029400 | |
dc.identifier.uri | https://hdl.handle.net/2027.42/128289 | |
dc.description.abstract | A Field-Programmable Gate Array (FPGA) is a general-purpose, multi-level programmable logic device that is customized by the end user. This thesis focuses on the final stage of a FPGA design implementation, routing. Considering the increasing complexity and capacity of current FPGA architectures, a modern FPGA router must (1) be flexible for a variety of FPGA architectures, (2) manage more accurate congestion model, and (3) be able to predict (or at least determine) the routability of the design. This thesis presents an exact method, called the Boolean Satisfiability (SAT)-based routing approach, that addresses all these constraints. In Boolean SAT-based routing, a large but still atomic Boolean function is created such that its internal structure represents the geometric routing constraints. Any satisfying assignment of Boolean values to variables in this function corresponds to a legal routing solution. Compared to traditional routers which sequentially consider one net at a time, this approach offers two unique features: (1) simultaneous embedding of all nets regardless of net ordering and (2) the ability to demonstrate routing infeasibility by proving the unsatisfiability of the routing constraint Boolean function. This Boolean-based routing approach was implemented and applied to both final detailed routing and fault tolerant FPGA reconfiguration, which is a partial routing task. Also, to make this method more practical, a hybrid routing algorithm, which combines a conventional routing approach with our SAT-based routing flow, was devised and tested with industrial-sized circuits. Experimental results show that Boolean SAT-based routing is a viable complement to existing routing approaches. In particular, when integrated within the flow of conventional routers, SAT-based routing solves their non-convergence problem by its ability to prove unroutability of the current set of route alternatives. For reconfiguration applications, SAT-based routing is very competitive, in flexibility, quality and runtime, with conventional approaches. These promising results suggest that SAT-based methods may have a useful role to play in other layout applications. | |
dc.format.extent | 110 p. | |
dc.language | English | |
dc.language.iso | EN | |
dc.subject | Application | |
dc.subject | Approach | |
dc.subject | Boolean-based Layout | |
dc.subject | Field-programmable Gate Arrays | |
dc.subject | Fpga | |
dc.subject | Routing | |
dc.title | A Boolean -based layout approach and its application to FPGA routing. | |
dc.type | Thesis | |
dc.description.thesisdegreename | PhD | en_US |
dc.description.thesisdegreediscipline | Applied Sciences | |
dc.description.thesisdegreediscipline | Computer science | |
dc.description.thesisdegreegrantor | University of Michigan, Horace H. Rackham School of Graduate Studies | |
dc.description.bitstreamurl | http://deepblue.lib.umich.edu/bitstream/2027.42/128289/2/3029400.pdf | |
dc.owningcollname | Dissertations and Theses (Ph.D. and Master's) |
Files in this item
Remediation of Harmful Language
The University of Michigan Library aims to describe library materials in a way that respects the people and communities who create, use, and are represented in our collections. Report harmful or offensive language in catalog records, finding aids, or elsewhere in our collections anonymously through our metadata feedback form. More information at Remediation of Harmful Language.
Accessibility
If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.