A Satisfiability Formulation for Fpga Routing with Pin Rearrangements

F. He,W. N. N. Hung,X. Song,M. Gu,J. Sun
DOI: https://doi.org/10.1080/00207210701650661
2007-01-01
International Journal of Electronics
Abstract:This paper presents a satisfiability formulation for FPGA segmented channel routing with pin rearrangements. In our new routing model, the pins in each module have certain degree of freedom to be rearranged. With this flexibility, the wire routability can be improved in segmented channel routing. We present an efficient SAT- based approach to solve the problem. We use one of the best SAT- solvers, zChaff, to perform our experiments. Experimental results show the promising performance of the method.
What problem does this paper attempt to address?