Towards Assertion-Based Verification of Heterogeneous System Designs

Jahr:
2010

Autoren/Hrsg:
Stefan Lämmermann, Alexander Jesser, Alexander Viehl, Jürgen Ruf, Lars Hedrich, Thomas Kropf, Wolfgang Rosenstiel

Publikationstyp:
Kongressbeitrag/Proceeding

Quelle:
DATE'10: Proceedings of Designs, Automation, and Test in Europe conference and exhibition, Dresden, 2010

URL:
http://www.date-conference.com

zur Übersicht