Formal approaches to SEU testing in FPGAs | IEEE Conference Publication | IEEE Xplore