Boolean Satisfiability-Based Routing and Its Application to Xilinx UltraScale Clock Network.

Henri Fraisse, Abhishek Joshi, Dinesh Gaitonde, Alireza Kaviani

Browse the full FPGA paper archive.