Login / Signup
A HW/SW co-verification framework for SystemC.
Paula Herber
Sabine Glesner
Published in:
ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
</>
data processing
model checking