Der 15. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen wird 2012 vom Fachbereich Informatik der Technischen Universitaet Kaiserslautern ausgerichtet. Die Tagung findet im Maerz 2012 an der Technischen Universitaet Kaiserslautern statt.<br>Themen<br>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.<br>Beitraege aus der industriellen Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen. Diese sollten aus den folgenden Themengebieten kommen:<br>* formale und semi–formale Spezifikation und Modellierung<br>* Standards und Erweiterungen von Hardware–Beschreibungssprachen<br>* Entwurfsmethodik<br>* Entwurfswiederverwendung (Reuse, IP)<br>* Syntheseverfahren (Behavioral, RTL)<br>* Codesign (analog/digital, Hardware/Software)<br>* formale Synthese<br>* formale Verifikation (Aequivalenz– und Eigenschaftsbeweise)<br>* Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)<br>* Verifikation nichtfunktionaler Eigenschaften<br>* simulationsbasierte Verifikation<br>
Abbrevation
MBMV
City
Kaiserslautern
Country
Germany
Deadline Paper
Start Date
End Date
Abstract