An EFSM-based approach for functional ATPG.

Franco Fummi Cristina Marconcini Graziano Pravadelli

Published in: ACM Great Lakes Symposium on VLSI (2005)

Keyphrases

finite state machines
model checking
image sequences
artificial neural networks
digital libraries
pattern matching
regular expressions
databases
computer vision
case study
search algorithm
special case
functional analysis