Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ist ein Forum, um Trends, neueste Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler,  analoger und Mixed Signal-Schaltungen zu diskutieren.
Der Austausch von Ideen ist ein wichtiges Anliegen dieses Workshops.