Dieses Buch beschreibt eine Reihe von SystemC-basierten Analysemethoden f r virtuelle Prototypen, einschlie lich Entwurfsverst ndnis, Verifikation, Sicherheitsvalidierung und Entwurfsraumuntersuchung. Der Leser erh lt einen berblick ber die neuesten Forschungsergebnisse auf dem Gebiet der Electronic Design Automation (EDA) auf der elektronischen Systemebene (ESL). Die besprochenen Methoden erm glichen es den Lesern, wichtige Aufgaben und Anwendungen...