Login / Signup
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