Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen
Gladigau J, Haubelt C, Streubühr M, Teich J, Schneider A, Knäblein J, Lindig M (2009)
Publication Type: Conference contribution
Publication year: 2009
Pages Range: 157-166
Conference Proceedings Title: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Event location: Berlin
Authors with CRIS profile
Jens Gladigau
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Christian Haubelt
Technische Fakultät
Martin Streubühr
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Jürgen Teich
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Related research project(s)
Involved external institutions
Alcatel-Lucent Deutschland AG
Germany (DE)
Fraunhofer-Institut für Integrierte Schaltungen (IIS)
Germany (DE)
Germany (DE)
Fraunhofer-Institut für Integrierte Schaltungen (IIS)
Germany (DE)
How to cite
APA:
Gladigau, J., Haubelt, C., Streubühr, M., Teich, J., Schneider, A., Knäblein, J., & Lindig, M. (2009). Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen. In Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 157-166). Berlin, DE.
MLA:
Gladigau, Jens, et al. "Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen." Proceedings of the Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Berlin 2009. 157-166.
BibTeX: Download