Diese Vorlesung führt Prinzipien und Techniken für das Design von eingebetteten Ein- und Mehrkern-Systemen ein. Es wird ein Modell-basierter Ansatz für System-Level-Design eingeführt, außerdem Modellierungstechniken für Berechnung und Kommunikation auf verschiedenen Abstraktionsebenen wie beispielsweise der Spezifikationsebene, Transaktionsebene und zyklengenauen Ebene. Es werden Synthesemethoden für System-Level-Architekturen, eingebettete Software und Hardware-Komponenten beschrieben, durch die der Designer Virtual Prototyping für seine Applikationen verwenden kann. Die Vorlesung behandelt außerdem simulationsbasierte und formale Verifikationsmethoden, ein weiterer Fokus liegt auf einigen aktuellen und zukünftigen ESL Werkzeugen. Die Teilnehmer sollen ein kleines Projekt über einige Themen aus der Systemmodellierung auf verschiedenen Abstraktionsebenen, modellbasierten Systementwicklung, Hardware/Software-Co-Design, Software- und Hardwaresynthese oder Systemverifikation bearbeiten und einen Bericht darüber erstellen