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.

fYear

2006

fDate

25-27 May 2006

Firstpage

289

Lastpage

297

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependability of Computer Systems, 2006. DepCos-RELCOMEX '06. International Conference on

Conference_Location

Szklarska Poreba

Print_ISBN

0-7695-2565-2

Type

conf

DOI

10.1109/DEPCOS-RELCOMEX.2006.12

Filename

4024061