SELF-CHECKING SEQUENTIAL-CIRCUIT DESIGN USING M-OUT-OF-N CODES

A technique for designing sequential circuits which are totally self-checking for single stuck at faults is presented. This technique uses m-out-of-n codes for state assignments and for output encoding. The next stage logic and the output logic arc implemented such that any stuck-at fault will either create a single bit error or unidirectional multibit error at the output. The technique has been applied to MCNC benchmark circuits and the overhead is estimated.