Login / Signup
Comparison of Bayesian networks and data mining for coverage directed verification category simulation-based verification.
Markus Braun
Wolfgang Rosenstiel
Klaus-Dieter Schubert
Published in:
HLDVT (2003)
Keyphrases
</>
data mining
bayesian networks
model checking
outlier detection
functional verification
formal verification
formal methods
data mining techniques
text classification
association rule mining
rough sets
cluster analysis
probabilistic inference
text mining
signature verification
real world
verification method
data sets