loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
6th Great Lakes Symposium on VLSI
Test Generation for Networks of Interacting FSMs Using Symbolic Techniques
Ames, IA
March 22-March 23
ISBN: 0-8186-7502-0
ASCII Text
x 
 
F. Ferrandi, F. Fummi, E. Macii, M. Poncino, D. Sciuto, "Test Generation for Networks of Interacting FSMs Using Symbolic Techniques," Great Lakes Symposium on VLSI, pp. 208, 6th Great Lakes Symposium on VLSI, 1996.
 
 
BibTex
x
 
@article{ 10.1109/GLSV.1996.497621,
author = {F. Ferrandi and F. Fummi and E. Macii and M. Poncino and D. Sciuto},
title = {Test Generation for Networks of Interacting FSMs Using Symbolic Techniques},
journal ={Great Lakes Symposium on VLSI},
volume = {0},
year = {1996},
isbn = {0-8186-7502-0},
pages = {208},
doi = {http://doi.ieeecomputersociety.org/10.1109/GLSV.1996.497621},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Great Lakes Symposium on VLSI
TI - Test Generation for Networks of Interacting FSMs Using Symbolic Techniques
SN - 0-8186-7502-0
SP
EP
A1 - F. Ferrandi,
A1 - F. Fummi,
A1 - E. Macii,
A1 - M. Poncino,
A1 - D. Sciuto,
PY - 1996
VL - 0
JA - Great Lakes Symposium on VLSI
ER -
 
This paper presents a new testing atmtegy for networks of interacting FSMa. The approach allows us to generate test patterns for faults in the network by separately handling the network?s components. The proposed algorithms are fully symbolic; therefore, they allow the manipulation of large designs. Experimental results, though preliminary, are promising.
Citation:
F. Ferrandi, F. Fummi, E. Macii, M. Poncino, D. Sciuto, "Test Generation for Networks of Interacting FSMs Using Symbolic Techniques," glsvlsi, pp.208, 6th Great Lakes Symposium on VLSI, 1996
Usage of this product signifies your acceptance of the Terms of Use.