Der Workshop soll ein Forum bilden, um neue Trends, Ergebnisse und aktuelle Probleme auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed–Signal–Systeme zu diskutieren. Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen. Insbesondere Nachwuchswissenschaftler sind herzlich eingeladen, ihre Beiträge einzureichen.<br>Inhaltlich konzentriert sich der Workshop auf folgende Themengebiete:<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 (Äquivalenz– und Eigenschaftsbeweise)<br>Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)<br>Verifikation nichtfunktionaler Eigenschaften<br>Simulationsbasierte Validierung<br>
Abbrevation
MBMV
City
Freiburg
Country
Germany
Deadline Paper
Start Date
End Date
Abstract