Title :
Necessary and sufficient conditions for the existence of totally self-checking circuits
Author :
Saposhnikov, V. ; Saposhnikov, Vl ; Morozov, A. ; Gössel, M.
Abstract :
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.
Keywords :
built-in self test; codes; combinational circuits; logic design; logic testing; 1-out-of-n code; combinational circuits; complementary circuit; concurrent checking; fault-secure checker; self-testing checker; totally self-checking circuits; Block codes; Built-in self-test; Circuit faults; Circuit testing; Combinational circuits; Fault tolerance; Sufficient conditions; US Government;
Conference_Titel :
On-Line Testing Symposium, 2004. IOLTS 2004. Proceedings. 10th IEEE International
Print_ISBN :
0-7695-2180-0
DOI :
10.1109/OLT.2004.1319655
