Login / Signup
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models.
Joachim Falk
Christian Zebelein
Christian Haubelt
Jürgen Teich
Rainer Dorsch
Published in:
MBMV (2010)
Keyphrases
</>
high level
computer systems
low level
real time
programming language
low cost
source code
higher level
prior knowledge
probabilistic model
model selection
parameter estimation
historical data