Methods of designing single-output self checking in-built control circuits for equilibrium codes

Numerous methods are suggested for design of single-output self-checking in-built control circuits, SIGC, for equilibrium codes. The SICG's detect in code words both single errors and multiple errors which change the code word weight. The SICG's have a regular structure. The self-checkability condition can be satisfied for single constant, single logical, and multiple constant faults. The design methods are particularized as formal algorithms.