Temporal logic replication for dynamically reconfigurable FPGA partitioning | IEEE Journals & Magazine | IEEE Xplore