Verification of Transaction-Level SystemC models using RTL Testbenches.

Rohit Jindal Kshitiz Jain

Published in: MEMOCODE (2003)

Keyphrases

database
probabilistic model
data mining
machine learning
prior knowledge
parameter estimation
statistical models
databases
decision trees
fine grained
complex systems
statistical model
neural network model
concurrency control
parametric models