Static analysis to mitigate soft errors in register files | IEEE Conference Publication | IEEE Xplore