Login / Signup

A HW/SW co-verification framework for SystemC.

Paula HerberSabine Glesner
Published in: ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
  • data processing
  • model checking