Efficiency of Multi-Valued Encoding in SAT-based ATPG

	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
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Goerschwin Fey Articles by Junhao Shi Articles by Rolf Drechsler

36th International Symposium on Multiple-Valued Logic (ISMVL'06)

Singapore

May 17-May 20

ISBN: 0-7695-2532-6

	ASCII Text	x
	Goerschwin Fey, Junhao Shi, Rolf Drechsler, "Efficiency of Multi-Valued Encoding in SAT-based ATPG," Multiple-Valued Logic, IEEE International Symposium on, pp. 25, 36th International Symposium on Multiple-Valued Logic (ISMVL'06), 2006.

	BibTex	x
	@article{ 10.1109/ISMVL.2006.19, author = {Goerschwin Fey and Junhao Shi and Rolf Drechsler}, title = {Efficiency of Multi-Valued Encoding in SAT-based ATPG}, journal ={Multiple-Valued Logic, IEEE International Symposium on}, volume = {0}, year = {2006}, issn = {0195-623X}, pages = {25}, doi = {http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.19}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Multiple-Valued Logic, IEEE International Symposium on TI - Efficiency of Multi-Valued Encoding in SAT-based ATPG SN - 0195-623X SP EP A1 - Goerschwin Fey, A1 - Junhao Shi, A1 - Rolf Drechsler, PY - 2006 KW - null VL - 0 JA - Multiple-Valued Logic, IEEE International Symposium on ER -

Goerschwin Fey, University of Bremen, Germany

Junhao Shi, University of Bremen, Germany

Rolf Drechsler, University of Bremen, Germany

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2006.19

Automatic Test Pattern Generation (ATPG) is one of the core algorithms in testing of digital circuits and systems. Due to recent advances in algorithms to solve Boolean Satisfiability (SAT), there is a renewed interest in SAT-based ATPG. While the early approaches only used two-valued logic, modern tools have to use multiple values to model unknown values and tri-state elements for buses. In this paper we present a detailed study on how to chose the multi-valued encoding for SAT-based ATPG. The techniques have been implemented and evaluated on large industrial benchmarks.

Citation:

Goerschwin Fey, Junhao Shi, Rolf Drechsler, "Efficiency of Multi-Valued Encoding in SAT-based ATPG," ismvl, pp.25, 36th International Symposium on Multiple-Valued Logic (ISMVL'06), 2006

Peer Review Notice | Give Us Feedback

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