SystemC transaction level models and RTL verification.

Published in: DAC (2006)

Keyphrases

probabilistic model
distributed systems
higher level
experimental data
parametric models
knowledge base
model selection
neural network model
computational models
levels of abstraction