Necessary and sufficient conditions for the existence of totally self-checking circuits
V. Saposhnikov, V. Saposhnikov, Alexandre V. Morozov, Michael Gössel · International On-Line Testing Symposium · 2004
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.