Towards assertion-based verification of heterogeneous system designs

Resource type
Conference
Author(s)
Lämmermann, Stefan and Ruf, Jürgen and Kropf, Thomas and Rosenstiel, Wolfgang and Viehl, Alexander and Jesser, Alexander and Hedrich, Lars
Year
2010
Pages
1171--1176
Book title
Proceedings of the Conference on Design, Automation and Test in Europe
Organization
European Design and Automation Association
Download .bib
Download .bib
Published by
Alexander Viehl