Abstract:
Methods are proposed for design of completely or partially self-checking combinational circuits. Their outputs can be encoded in an equilibrium code for making them completely self-checking. Division of outputs into groups of independent outputs is reduced to the well-known graph coloring problem.