Abstract—A method of extending the usefulness of residue coding (or congruence checking) to check for errors in operations such as complement, shift, and rotate (or cycle) is presented. The checking ...