Improving System-Level Verification of SystemC Models with SPIN.

Martin Elshuber Susanne Kandl Peter P. Puschner

Published in: FSFMA (2013)

Keyphrases

data sets
accurate models
levels of abstraction
classification models
statistical models
higher level
probabilistic model
high level
neural network
database
search algorithm
least squares
computer vision
statistical model
experimental data
artificial intelligence
computational models
databases