Publication

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

Mehran Goli, Jannis Ulrich Stoppe, Rolf Drechsler

In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2017) March 27-31 Lausanne Switzerland 2017.

Projekte

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz