Segmented Channel Routing With Pin Rearrangements Via Satisfiability

F He,Wnn Hung,Xy Song,M Gu,Jg Sun
DOI: https://doi.org/10.1109/ISCAS.2005.1466068
2005-01-01
Abstract:We address a new segmented channel routing problem with pin rearrangements in FPGA Technology. In our 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?