Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Falk J, Zebelein C, Haubelt C, Teich J, Dorsch R
Jahr der Veröffentlichung: 2010
Tagungsband: 3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
Seitenbereich: 137-146


FAU-Autoren / FAU-Herausgeber

Falk, Joachim
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Autor(en) der externen Einrichtung(en)
IBM Deutschland GmbH


Zitierweisen

APA:
Falk, J., Zebelein, C., Haubelt, C., Teich, J., & Dorsch, R. (2010). Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models. In 3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (pp. 137-146). Dresden, DE.

MLA:
Falk, Joachim, et al. "Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models." Proceedings of the 3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Dresden 2010. 137-146.

BibTeX: 

Zuletzt aktualisiert 2018-08-08 um 13:38