Design of Self-Checking MOS-LSI Circuits: Application to a Four-Bit Microprocessor

Self-checking approaches developed so far deal with a gate level representation of logical circuits. They do not account for constraints which may result from an implementation by integrated circuits. This paper is concerned with such practical problems and their respective significance.