Digitale Hardware/Software-Systeme

Dieses Lehrbuch stellt den aktuellen Stand der Technik im Bereich moderner Entwurfsverfahren von Hardware/Software-Systemen (bestehend aus kooperativen Hardware- und Softwarekomponenten) dar. Solche Systeme treten in vielen Anwendungsbereichen moderner digitaler Technologie auf, wie z. B. Industriesteuerungen, Automobil- und Unterhaltungselektronik sowie Kommunikationssysteme. Behandelt werden Verfahren zur Entwurfsautomatisierung solcher Systeme, insbesondere die zentralen Themen Spezifikation,