Heavy ion characterization of SEU mitigation methods for the Virtex FPGA | IEEE Conference Publication | IEEE Xplore