Contributions to Conferences

back

Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications


Authors

  • Goli, M.
  • Stoppe, J.
  • Drechsler, R.

Meta information [BibTeX]

  • Year: 2017, Reviewed
  • Conference: Design, Automation and Test in Europe in Lausanne, Switzerland (March 27-31, 2017)




Goli, M.; Stoppe, J.; Drechsler, R.
Automatic Equivalence Checking for SystemC-TLM 2.0 Models Against their Formal Specifications
2017,
BibTeX Close


Download as .bib