Towards Automated Refinement of TLM Properties to RTL - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler. Towards Automated Refinement of TLM Properties to RTL. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen, 2018. [doi]

The following publications are possibly variants of this publication:

Towards fully automated TLM-to-RTL property refinementVladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler. date 2018: 1508-1511 [doi]

runs on WebDSL