Algorithm level recomputing using allocation diversity: a register transfer level approach to time redundancy-based concurrent error detection | IEEE Journals & Magazine | IEEE Xplore