Manfred Dietrich (Ed.):
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010.
Fraunhofer Verlag 2010
Enrico Billich, Marko Rößler, Ulrich Heinkel: Effiziente Auslastung der heterogenen Ressourcen eines Systems durch domain-übergreifendes Multithreading.
127-136
Alexander Bol, Wolfgang Müller, Alexander Krupp: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen.
167-176
Martin Schweikert, Hans Eveking: Verwendung von UML Sequenzdiagrammen zur Spezifikation und Generierung von RTL Eigenschaftssätzen.
177-186
data released under the ODC-BY 1.0 license
