An output/state encoding for self-checking finite state machine

A new methodology for defining a self-checking sequential architecture is presented in the paper. A m-out-of-n encoding of the juxtaposition of next-state and output, eventually completed with additional output lines, is provided. The goal is guaranteeing detection for single and multiple unidirectional errors while minimizing area overhead.