VeriCDF: a new verification methodology for charged device failures.

Jaesik Lee Ki-Wook Kim Sung-Mo Kang

Published in: DAC (2002)

Keyphrases

formal verification
data sets
artificial intelligence
decision trees
model checking
design methodology
failure detection
data mining
machine learning
computer vision
steady state
data acquisition
concurrent systems
functional verification