Task-level partitioning and RTL design space exploration for multi-FPGA architectures | IEEE Conference Publication | IEEE Xplore