Title :
FATE: a Functional ATPG to Traverse Unstabilized EFSMs
Author :
Di Guglielmo, Giuseppe ; Fummi, Franco ; Marconcini, Cristina ; Pravadelli, Graziano
Author_Institution :
Dipt. di Informatica, Universita di Verona
Abstract :
The paper describes a functional ATPG that explores the DUT state space by exploiting an easy-to-traverse extended FSM model. The ATPG engine relies on learning, backjumping and constraint logic programming to deterministically generate test vectors for traversing all transitions of the EFSM
Keywords :
automatic test pattern generation; design for testability; finite state machines; logic design; DUT state space; FATE; automatic test pattern generation; constraint logic programming; design under test; extended finite state machines; test vectors; Algorithm design and analysis; Automatic test pattern generation; Binary decision diagrams; Engines; Explosions; Genetic algorithms; Linear programming; Logic programming; Logic testing; State-space methods;
Conference_Titel :
Test Symposium, 2006. ETS '06. Eleventh IEEE European
Conference_Location :
Southampton
Print_ISBN :
0-7695-2566-0
DOI :
10.1109/ETS.2006.21
