SEU-X: A SEu un-excitability prover for SRAM-FPGAs | IEEE Conference Publication | IEEE Xplore