Timing driven RTL-to-RTL partitioner for multi-FPGA systems | IEEE Conference Publication | IEEE Xplore