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, M. Nicolaidis, "Strongly Code Disjoint Checkers", IEEE Transactions on Computers, vol. 37, no. , pp. 751-756, June 1988, doi:10.1109/12.2217