DocumentCode :
2559783
Title :
Multiple observation time single reference test generation using synchronizing sequences
Author :
Cho, Hyunwoo ; Jeong, Seh-Woong ; Somenzi, Fabio ; Pixley, Carl
Author_Institution :
Dept. of Electr. & Comput. Eng., Univ. of Colorado, Boulder, CO, USA
fYear :
1993
fDate :
22-25 Feb 1993
Firstpage :
494
Lastpage :
498
Abstract :
A synchronizing sequence drives a circuit from an arbitrary power-up state into a unique state. A framework and algorithms for test generation based on the multiple observation time strategy are developed by taking advantage of synchronizing sequences. Though it has been shown that the multiple observation time strategy can provide a higher fault coverage than the conventional single observation time strategy, until now the multiple observation time strategy has required a very complex tester operation model and its overhead. However, when a circuit is synchronizable, test generation can employ the multiple observation time strategy and provide better fault coverages, while using the conventional tester operation model. It is shown that the same fault coverage can be achieved in both tester operation models if the circuit under test generation is synchronizable. The authors investigate how a synchronizing sequence simplifies test generation and allows one to use the simpler tester operation model
Keywords :
automatic test software; circuit analysis computing; logic testing; sequential circuits; synchronisation; algorithm; binary decision diagrams; fault coverages; multiple observation time strategy; sequential circuits; single reference test generation; synchronizing sequences; tester operation model; Automata; Boolean functions; Circuit faults; Circuit testing; Contracts; Data structures; Drives; Laboratories; Power generation; Reachability analysis;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation, 1993, with the European Event in ASIC Design. Proceedings. [4th] European Conference on
Conference_Location :
Paris
Print_ISBN :
0-8186-3410-3
Type :
conf
DOI :
10.1109/EDAC.1993.386426
Filename :
386426
Link To Document :
بازگشت