Title :
The confluence of manufacturing test and design validation
Author_Institution :
Universita di Verona
fDate :
Sept. 30-Oct. 2, 2003
Keywords :
Error correction; Explosions; Fault diagnosis; Formal verification; Logic testing; Manufacturing processes; Sequential analysis; System testing; Test pattern generators; Virtual manufacturing;
Conference_Titel :
Test Conference, 2003. Proceedings. ITC 2003. International
Print_ISBN :
0-7803-8106-8
DOI :
10.1109/TEST.2003.1271131
