Publikation

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

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