A New Routing Method Based on Hybrid Algorithm

Abstract:

A new routing algorithm is proposed for FPGA to improve the increasing transformation cost of pseudo-Boolean Satisfiability algorithm in the routing process. The approach combines advantages of pseudo-Boolean Satisfiability and geometric routing algorithm. First, Frontier-one of geometric routing algorithm is chosen for FPGA routing. Then pseudo-Boolean Satisfiability algorithm is used when the process of Frontier is not successful. Technique of static symmetry-breaking is also adding to carry out pretreatment of pseudo-Boolean constraints, detecting and breaking the symmetries in the routing flow. The advantage is that the search path is pruned, and the cost is consequently reduced. Preliminary experiments results show that the hybrid method have no adverse affect on overall program. It has also reduced the runtime observably, and sped up the solving process.

• Periodical: Applied Mechanics and Materials (Volumes 423-426)
• Pages: 2667-2670
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.423-426.2667
• Online since: September 2013
• Authors: Jian Hui Chen, Yu Lan Tang
• Keywords: Benchmarking, Boolean Function, Field-Programmable Gate Array (FPGA), Routing Algorithm

References

[1] Gudise, V., Venayagamoorthy, G.: FPGA Placement and Routing Using Particle Swarm Optimization. in Proceedings of the IEEE Computer Society Annual Symposium on VLSI Emerging Trends in VLSI Systems Design, vol: 12, pp.307-308 (2004).

DOI: 10.1109/isvlsi.2004.1339567

[2] Mo, F., Tabbara, A., Brayton, R.: A Force-Directed Maze Router, Department of EECS. University of California at Berkeley. 2001, pp.404-407.

[3] McMurchie, L., Ebeling, C.: PathFinder: A Negotiation-Based Performance-Driven Router for FPGAs. in ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, ACM Press, New York NY, 1995, p: 111-117.

DOI: 10.1109/fpga.1995.242049

[4] Tessier, R.: Negotiated A* Routing for FPGAs. in Proceedings of the Fifth Canadian Workshop on Field-Programmable Devices, Montreal, Quebec, Canada, 1998, pp.14-19.

[5] Hwang, C. H., Allen, C.: A Predictive System Shutdown Method for Energy Saving of Event-Driven Computation. ACM Transactions on Design Automation of Electronic Systems, vol: 5, 2000, pp.226-241.

DOI: 10.1145/335043.335046

[6] Sheini, H. M., Sakallah, K. A.: Pueblo: A Hybrid Pseudo-Boolean SAT Solver. Boolean Modeling and Computation, 2006, pp.155-179.

DOI: 10.3233/sat190020

[7] SEGA Detailed Routing Software, http: /www. eecg. toronto. edu/~lemieux/sega/sega. html.