Sign in
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