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

Falk J, Zebelein C, Haubelt C, Teich J, Dorsch R (2010)

Publication Type: Conference contribution

Publication year: 2010

Pages Range: 137-146

Conference Proceedings Title: 3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Event location: Dresden DE

Authors with CRIS profile

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

Related research project(s)

SysteMoC: Representing models of computation in SystemC (SysteMoC) April 1, 2005 - April 1, 2008 SystemCoDesigner: System level design space exploration for embedded systems (SystemCoDesigner) April 1, 2005 - April 1, 2008

Involved external institutions

IBM Deutschland GmbH DE Germany (DE)

How to cite

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: Download