ATPG Aspects of FSM Verification.

Hyunwoo Cho Gary D. Hachtel Seh-Woong Jeong Bernard Plessier Eric M. Schwarz Fabio Somenzi

Published in: ICCAD (1990)

Keyphrases

model checking
finite state machines
main aspects
digital images
databases
knowledge base
data mining
information retrieval
artificial intelligence
feature selection
mobile robot
verification method