Towards assertion-based verification of heterogeneous system designs

Publikationstyp
Konferenz
Autor(en)
Lämmermann, Stefan and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang and Viehl, Alexander and Jesser, Alexander and Hedrich, Lars
Jahr
2010
Seiten
1171--1176
Buchtitel
Proceedings of the Conference on Design, Automation and Test in Europe
Organisation
European Design and Automation Association
Download .bib
Download .bib
Eingetragen von
Alexander Viehl