Issue No. 06 - June (1988 vol. 37)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.2217
Strongly code-disjoint (SCD) checkers are defined and shown to include totally self-checking (TSC) code-disjoint checkers. This type of checker is the natural companion of strongly fault-secure (SFS) networks. SCD checkers are the largest class of checkers with which a combinational system may achieve the TSC goal. Some examples are given to illustrate the design of SCD checkers.
strongly code disjoint checkers; strongly fault secure networks; totally self-checking; combinational system; combinatorial circuits; error detection codes.
B. Courtois and M. Nicolaidis, "Strongly Code Disjoint Checkers," in IEEE Transactions on Computers, vol. 37, no. , pp. 751-756, 1988.