Sign in

Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications.

Mehran GoliJannis StoppeRolf Drechsler
Published in: DATE (2017)
Keyphrases
  • formal specification
  • model checking
  • real world
  • case study
  • high level
  • design methodology
  • electric power