DocumentCode
2144069
Title
Accurate QBF-based test pattern generation in presence of unknown values
Author
Hillebrecht, Stefan ; Kochte, Michael A. ; Erb, Dominik ; Wunderlich, Hans-Joachim ; Becker, Bernd
Author_Institution
University of Freiburg, Georges-Köhler-Allee 051, 79110, Germany
fYear
2013
fDate
18-22 March 2013
Firstpage
436
Lastpage
441
Abstract
Unknown (X) values may emerge during the design process as well as during system operation and test application. Sources of X-values are for example black boxes, clock-domain boundaries, analog-to-digital converters, or uncontrolled or uninitialized sequential elements.
Keywords
Automatic test pattern generation; Circuit faults; Cognition; Computational modeling; Encoding; Integrated circuit modeling; Logic gates; ATPG; QBF; Unknown values; test generation;
fLanguage
English
Publisher
ieee
Conference_Titel
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013
Conference_Location
Grenoble, France
ISSN
1530-1591
Print_ISBN
978-1-4673-5071-6
Type
conf
DOI
10.7873/DATE.2013.098
Filename
6513544
Link To Document