The synthesis problem is considered of self-checking synchronous automaton networks in the programmed logic matrices (PLM) basis. Self-checking of an automaton network component is provided by encoding the internal automaton states by equal-weighted codes and lengthening codes of its input states. As a result, microprogram description of component operation is transformed to a positive monotonic system.
|Number of pages||17|
|Journal||Avtomatika i Telemekhanika|
|State||Published - 2002|