Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Assertion based verification of transaction level models

 
: Niemann, B.; Haubelt, C.

Straube, B.; Freibothe, Martin ; Franuhofer-Institut für Integrierte Schaltungen -IIS-, Außenstelle Entwurfsautomatisierung -EAS-, Dresden; Informationstechnische Gesellschaft -ITG-; Gesellschaft für Informatik -GI-, Bonn; VDE/VDI-Gesellschaft Mikroelektronik, Mikro- und Feinwerktechnik -GMM-:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen : 9.ITG/GI/GMM Workshop, 20. - 22. Februar 2006 in Dresden
Dresden: Fraunhofer IIS / EAS, 2006
ISBN: 3-9810287-1-6
S.232-236
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen <9, 2006, Dresden>
Englisch
Konferenzbeitrag
Fraunhofer IIS ()

: http://publica.fraunhofer.de/dokumente/N-52800.html