Design of sufficiently strongly self-checking embedded checkers for systematic and separable codes

Totally self-checking (TSC) circuits are considered. If the first erroneous output is a noncodeword then the TSC goal is said to be achieved. The author has recently defined a new class of checkers which meet the TSC goal, namely, the strongly self-checking (SSC) checkers. A TSC or SSC checker can be guaranteed to meet the TSC goal if it receives the required set of codeword tests from the functional circuit. However, in practice, it is not always possible to ensure this for embedded checkers. A design for a sufficiently strongly self-checking (SSSC) embedded checker for systematic and separable codes is presented. SSSC checkers can be used when it is impossible to design a TSC or SSC checker based on the available set of codewords from the functional circuit.<
>