Algorithm level re-computing with shifted operands-a register transfer level concurrent error detection technique