Testfallgenerierung für SystemC-Designs mit abstrakten Modellbeschreibungen

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Gladigau J, Haubelt C, Streubühr M, Teich J, Schneider A, Knäblein J, Lindig M
Jahr der Veröffentlichung: 2009
Tagungsband: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Seitenbereich: 157-166


FAU-Autoren / FAU-Herausgeber

Gladigau, Jens Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Streubühr, Martin
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Autor(en) der externen Einrichtung(en)
Alcatel-Lucent Deutschland AG
Fraunhofer-Institut für Integrierte Schaltungen (IIS)


Zitierweisen

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: 

Zuletzt aktualisiert 2018-07-08 um 21:28