Satisfiability-Based Detailed FPGA Routing

9 years 8 months ago
Satisfiability-Based Detailed FPGA Routing
In this paper we address the problem of detailed FPGA routing using Boolean formulation methods. In the context of FPGA routing where routing resources are fixed, Boolean formulation methods can prove the unroutability of a given circuit, which is a clear advantage over classical net-at-a-time approaches. Previous attempts at FPGA routing using Boolean methods were based on Binary Decision Diagrams (BDDs) which limited their scope to small FPGAs. In this paper we employ an efficient search-based Boolean satisfiability approach to solve the routing problem and show that such an approach extends the range of Boolean methods to larger FPGAs. Furthermore, we show the possibility that more relaxed formulations of the routing constraints, allowing higher degrees of freedom for net routing, can be easily accommodated. Preliminary experimental results suggestthat our approach is quite viable for FPGAs of practicalsize.
Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Authors Gi-Joon Nam, Karem A. Sakallah, Rob A. Rutenbar
Comments (0)