DocumentCode :
1833484
Title :
A framework for evaluating test pattern generation strategies
Author :
Larrabee, Tracy
Author_Institution :
Dept. of Comput. Sci., Stanford Univ., CA, USA
fYear :
1989
fDate :
2-4 Oct 1989
Firstpage :
44
Lastpage :
47
Abstract :
A formal approach for the analysis of heuristics used in automatic test pattern generation for combinational circuits is presented. A test pattern generation system that constructs a satisfying assignment for a Boolean formula describing the legal set of tests is discussed. Heuristics as modifications to the formula or the satisfier acting on the formula are described. Experimental results are provided for the system as a whole, and for the effects of four heuristics
Keywords :
Boolean functions; automatic testing; combinatorial circuits; logic testing; Boolean formula; automatic test pattern generation; combinational circuits; heuristics; test pattern generation strategies; Automatic test pattern generation; Circuit faults; Circuit testing; Electrical fault detection; Fault detection; Law; Legal factors; Legged locomotion; System testing; Test pattern generators;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1989. ICCD '89. Proceedings., 1989 IEEE International Conference on
Conference_Location :
Cambridge, MA
Print_ISBN :
0-8186-1971-6
Type :
conf
DOI :
10.1109/ICCD.1989.63325
Filename :
63325
Link To Document :
بازگشت