MBMV 2015 - Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Er soll somit ein Forum zum Ideenaustausch sein.
Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen. Diese sollten aus den folgenden Themengebieten kommen:
Formale und semi-formale Spezifikation und Modellierung
Standards und Erweiterungen von Hardware-Beschreibungssprachen
Entwurfsmethodik
Entwurfswiederverwendung (Reuse, IP)
Syntheseverfahren (Behavioral, RTL)
Codesign (analog/digital, Hardware/Software)
Formale Synthese
Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)
Verifikation nichtfunktionaler Eigenschaften
Simulationsbasierte Verifikation