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

Mehran Goli Jannis Stoppe Rolf Drechsler

Published in: DATE (2017)

Keyphrases

formal specification
model checking
real world
case study
high level
design methodology
electric power