Testable Design of Single-Output Sequential Machines Using Checking Experiments

K.K. Saluja; R. Dandapani

doi:10.1109/TC.1986.1676811

Publication
1986
Issue No. 7 - July
Abstract - Testable Design of Single-Output Sequential Machines Using Checking Experiments

	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 K.K. Saluja Articles by R. Dandapani

Testable Design of Single-Output Sequential Machines Using Checking Experiments

July 1986 (vol. 35 no. 7)

pp. 658-662

	ASCII Text	x
	K.K. Saluja, R. Dandapani, "Testable Design of Single-Output Sequential Machines Using Checking Experiments," IEEE Transactions on Computers, vol. 35, no. 7, pp. 658-662, July, 1986.

	BibTex	x
	@article{ 10.1109/TC.1986.1676811, author = {K.K. Saluja and R. Dandapani}, title = {Testable Design of Single-Output Sequential Machines Using Checking Experiments}, journal ={IEEE Transactions on Computers}, volume = {35}, number = {7}, issn = {0018-9340}, year = {1986}, pages = {658-662}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1986.1676811}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - JOUR JO - IEEE Transactions on Computers TI - Testable Design of Single-Output Sequential Machines Using Checking Experiments IS - 7 SN - 0018-9340 SP658 EP662 EPD - 658-662 A1 - K.K. Saluja, A1 - R. Dandapani, PY - 1986 KW - testing KW - Checking experiments KW - data compaction KW - design KW - sequential machines KW - testable VL - 35 JA - IEEE Transactions on Computers ER -

K.K. Saluja, Department of Electrical and Computer Engineering, University of Wisconsin

R. Dandapani

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.1986.1676811

The problem of testing sequential machines using checking experiments is investigated. A method of modifying sequential machines by adding a controllable input is presented. A procedure is given to construct checking experiments for the modified machine and it is shown that only one output observation is sufficient to determine whether the machine is fault free.

Index Terms:

testing, Checking experiments, data compaction, design, sequential machines, testable

Citation:

K.K. Saluja, R. Dandapani, "Testable Design of Single-Output Sequential Machines Using Checking Experiments," IEEE Transactions on Computers, vol. 35, no. 7, pp. 658-662, July 1986, doi:10.1109/TC.1986.1676811

Peer Review Notice | Give Us Feedback

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