Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen

Stefan Lämmermann, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel. Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen. In Bernd Straube, Martin Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. pages 222-226, Fraunhofer Institut für Integrierte Schaltungen, 2006.

Authors

Stefan Lämmermann

This author has not been identified. Look up 'Stefan Lämmermann' in Google

Roland J. Weiss

This author has not been identified. Look up 'Roland J. Weiss' in Google

Jürgen Ruf

This author has not been identified. Look up 'Jürgen Ruf' in Google

Thomas Kropf

This author has not been identified. Look up 'Thomas Kropf' in Google

Wolfgang Rosenstiel

This author has not been identified. Look up 'Wolfgang Rosenstiel' in Google