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.
Abstract is missing.