Efficient Sequential ATPG Based on Partitioned Finite-State-Machine Traversal.

Qingwei Wu Michael S. Hsiao

Published in: ITC (2003)

Keyphrases

finite state machines
state machine
model checking
data structure
hidden markov models
computationally expensive
database
databases
building blocks
cellular automaton