Error-Checking Logic for Arithmetic-Type Operations of a Processor

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 logic and a practical method for its implementation are derived. The cost of check circuitry is only of the order of 30 to 40 percent of the part of the processor that is subjected to checking. In another paper presently under review, a method for single error correction using a new code called "bi-residue code" is presented.