Publikation

Towards Automated Refinement of TLM Properties to RTL

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler

In: 21. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-21) March 13-14 Tübingen Germany 2018.

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