Title :
CAD software for designing of Totally Self Checking Sequential Circuits
Author :
Greblicki, Jerzy W.
Author_Institution :
Inst. of Comput., Control & Robotics, Wroclaw Univ. of Technol.
Abstract :
We present software for designing totally self checking sequential machines. We restrict our considerations to sequential circuits with inputs, internal states and outputs encoded with any unordered code. We propose theorems to verify self testing (ST) and code-disjoin (CD) properties. Circuits tested as not ST or/and CD are modified to obtain those properties. We also propose a method for internal states encoding which guarantees ST of self testing checker (STC) circuit for internal states code. Owing to our methods we can design TSC circuits in a fully automatic way
Keywords :
automatic testing; integrated circuit design; integrated circuit testing; logic CAD; sequential circuits; CAD software; circuit testing; code-disjoin; internal state encoding; self testing checker circuit; sequential machines; totally self checking sequential circuits; Automatic testing; Circuit faults; Circuit testing; Design automation; Design methodology; Encoding; Samarium; Sequential circuits; Software design; Very large scale integration;
Conference_Titel :
Dependability of Computer Systems, 2006. DepCos-RELCOMEX '06. International Conference on
Conference_Location :
Szklarska Poreba
Print_ISBN :
0-7695-2565-2
DOI :
10.1109/DEPCOS-RELCOMEX.2006.12
