Lehrender:	Prof. Dr.-Ing. Ch. Haubelt
Semester:	1. - 2. Semester
SWS:	2 Vorlesungen, 1 Übung
LP:	3
Prüfung:	20 min mündlich oder 120 min schriftlich
Voraussetzungen:	keine

Mit erfolgreichem Abschluss des Moduls verfügen Sie über theoretische und praktische Kenntnisse im Bereich C++-basierter Modellierung, Verfeinerung und Simulation digitaler Systeme.

Mit dem Stoff des Kurses wird eine Einführung in den Bereich der C++-basierten Modellierung, Verfeinerung und Simulation digitaler Systeme gegeben. Es werden verschiedene Abstraktionsebenen der elektronischen Systeme und ihre Beschreibung mittels der Systembeschreibungssprache dargelegt. Die Modellierung und Simulation sowie die formale Beschreibung von Systemkomponenten, insbesondere in der Systembeschreibungssprache SystemC stellen weitere Themen dieses Kurses dar. Die automatische Synthese besitzt große Bedeutung, da sie einen immensen Beitrag zur Wirtschaftlichkeit des rechnergestützten Entwurfs leistet. Daher werden wir uns diesem Thema widmen und die entsprechenden Grundlagen zur Diskussion stellen. Auch hier wird die Systembeschreibungssprache SystemC zur Verhaltensbeschreibung von digitalen Systemen eine wesentliche Rolle spielen. Das Testen von elektronischen Systemen nach ihrer Realisierung zur Überprüfung ihrer Funktionstüchtigkeit stellt ein weiteres wichtiges Thema dar. Dazu werden die grundsätzlichen Verfahren erläutert. Die vorgestellten Verfahren werden in praktischen Übungen vertieft.
Inhalte
• Einleitung
• Grundlagen C++
• Systemmodellierung mit SystemC 2.0
• Syntheseschritte
• SystemC-Simulation
• SystemC Transaction Level Modeling
• SystemC Verification Library

Zentrale Empfehlungen:
• David C. Black, Jack Donovan, Bill Bunton, Anna Keist: SystemC: From the Ground Up, Springer, 2009
• Bjarne Stroustrup: Einführung in die Programmierung mit C++, Pearson Deutschland, 2010
• J. Teich, C. Haubelt: Digitale Hardware/Software-Systeme - Synthese und Optimierung, Springer, 2007
Ergänzende Empfehlungen:
• J. Bhasker: A SystemC Primer, Star Galaxy Publishing, 2010
• IEEE 1666 Standard SystemC Language Reference Manual
• Open SystemC Initiative (OSCI). Transaction Level Modeling (TLM) Library, Release 2.0

Vorlesung (Prof. Dr.-Ing. Ch. Haubelt)

Die Folien zur Vorlesung werden im Stud.IP zur Verfügung gestellt.

Übung (Dipl.-Inf. Christian Zebelein)

Übungsblätter werden begleitend im Semester im Stud.IP zur Verfügung gestellt.

Bei Fragen wenden Sie sich bitte an Dipl.-Inf. Christian Zebelein oder an Prof. Dr.-Ing. Ch. Haubelt.