SEU mitigation for half-latches in Xilinx Virtex FPGAs | IEEE Journals & Magazine | IEEE Xplore