Stefan Lämmermann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Alexander Viehl, Alexander Jesser, Lars Hedrich
Towards assertion-based verification of heterogeneous system designs
DATE, 2010.
@inproceedings{DATE-2010-LammermannRKRVJH,
author = "Stefan Lämmermann and Jürgen Ruf and Thomas Kropf and Wolfgang Rosenstiel and Alexander Viehl and Alexander Jesser and Lars Hedrich",
booktitle = "{Proceedings of the 14th Conference on Design, Automation and Test in Europe}",
pages = "1171--1176",
publisher = "{IEEE}",
title = "{Towards assertion-based verification of heterogeneous system designs}",
year = 2010,
}