Embedded totally self-checking checkers: a practical design | Synapse