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]
@inproceedings{HerdtLGD18-0,
title = {Towards Automated Refinement of TLM Properties to RTL},
author = {Vladimir Herdt and Hoang M. Le and Daniel Große and Rolf Drechsler},
year = {2018},
url = {http://hdl.handle.net/10900/84283},
researchr = {https://researchr.org/publication/HerdtLGD18-0},
cites = {0},
citedby = {0},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018},
publisher = {Universität Tübingen},
isbn = {978-3-00-059317-8},
}