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

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]

This author has not been identified. Look up 'Vladimir Herdt' in GoogleThis author has not been identified. Look up 'Hoang M. Le' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL