Effective safety property checking using simulation-based sequential ATPG.

Shuo Sheng Koichiro Takayama Michael S. Hsiao

Published in: DAC (2002)

Keyphrases

website
support vector
feature selection
information technology
cost effective
computer vision
decision trees
high quality
reinforcement learning
feature space
hidden markov models
computationally efficient
sequential data