Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Das vorliegende Buch ist eine Sammlung von Papieren der Workshops ? Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen? (MBMV). Der Workshop ist bereits der siebzehnte gemeinsame Workshop der Fachgruppen 3 und 4 der Kooperationsgemeinschaft? Rechnergestützter Schaltungs- und Systementwurf (RSS)? der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro- und Feinmechanik (GMM). In diesem Jahr findet der Workshop erstmals im IBM Forschungs- und Entwicklungslabor in Böblingen statt. Die MBMV ist ein Forum um Trends, neuste Ergebnisse und aktuelle Probleme auf d em Gebiet der Methoden zur Modellierun und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Auch Aspekte des Entwurfs und Tests von hardwarenaher eingebetteter Software werden im Rahmen dieses Workshops beleuchtet.