This note is concerned with the design of fast totally self-checking checkers for m-out-of-(2m ± 1) codes. The new method uses only three levels of gates, and is based on the partitioning of the input lines into m blocks ...

This paper is concerned with formal derivation of generalized setting (excitation) equations of the flip-flop memory elements of a sequential machine. The equations are expressed in terms of four normalized transition ...