Abstract:
This paper is concerned with design of self-checking cirtuits of in-built testing for automata with memory. A formal procedure for obtaining the work statement of design of such circuits. The practical example is a structural modulo 2 design method insuring detection of all single faults in an automaton with memory.