Login / Signup
Simulation-based equivalence checking between SystemC models at different levels of abstraction.
Daniel Große
Markus Groß
Ulrich Kühne
Rolf Drechsler
Published in:
ACM Great Lakes Symposium on VLSI (2011)
Keyphrases
</>
levels of abstraction
abstraction levels
modeling framework
probabilistic model
data sets
database
databases
neural network
information systems
image segmentation
image sequences
model selection