Necessary and sufficient conditions for the existence of totally self-checking circuits

In this paper, concurrent checking by use of a complementary circuit for an 1-out-of-n code is investigated. For an arbitrarily given combinational circuit, necessary and sufficient conditions for the existence of a totally self-checking checker are derived for the first time.