loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06)
CAD software for designing of Totally Self Checking Sequential Circuits
Szklarska Poreba, Poland
May 25-May 27
ISBN: 0-7695-2565-2
ASCII Text
x 
 
Jerzy W. Greblicki, "CAD software for designing of Totally Self Checking Sequential Circuits," Dependability of Computer Systems, International Conference on, pp. 289-297, International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/DEPCOS-RELCOMEX.2006.12,
author = {Jerzy W. Greblicki},
title = {CAD software for designing of Totally Self Checking Sequential Circuits},
journal ={Dependability of Computer Systems, International Conference on},
volume = {0},
year = {2006},
isbn = {0-7695-2565-2},
pages = {289-297},
doi = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.12},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Dependability of Computer Systems, International Conference on
TI - CAD software for designing of Totally Self Checking Sequential Circuits
SN - 0-7695-2565-2
SP289
EP297
A1 - Jerzy W. Greblicki,
PY - 2006
KW - null
VL - 0
JA - Dependability of Computer Systems, International Conference on
ER -
 
Jerzy W. Greblicki, Wroclaw University of Technology, Poland
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.
Citation:
Jerzy W. Greblicki, "CAD software for designing of Totally Self Checking Sequential Circuits," depcos-relcomex, pp.289-297, International Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.