Test Generation for Networks of Interacting FSMs Using Symbolic Techniques

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by F. Ferrandi Articles by F. Fummi Articles by E. Macii Articles by M. Poncino Articles by D. Sciuto

6th Great Lakes Symposium on VLSI

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 -

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/GLSV.1996.497621

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.