Validation of a tool for estimating the effects of soft-errors on modern SRAM-based FPGAs | IEEE Conference Publication | IEEE Xplore