The reliability and availability analysis of SEU mitigation techniques in SRAM-based FPGAs | IEEE Conference Publication | IEEE Xplore