Towards Assertion-Based Verification of Heterogeneous System Designs
Year:
2010
Authors/Eds.:
Stefan Lämmermann, Alexander Jesser, Alexander Viehl, Jürgen Ruf, Lars Hedrich, Thomas Kropf, Wolfgang Rosenstiel
Type of publication:
proceeding
Source:
DATE'10: Proceedings of Designs, Automation, and Test in Europe conference and exhibition, Dresden, 2010
URL:
http://www.date-conference.com
publication index