Resource constrained RTL partitioning for synthesis of multi-FPGA designs | IEEE Conference Publication | IEEE Xplore