Der Workshop bildet ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed–Signal–Systeme zu diskutieren.<br>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<br>Verifikation nichtfunktionaler Eigenschaften<br>Simulationsbasierte Validierung<br>Maschinelle Lernverfahren in der Entwurfsautomatisierung<br>
Abbrevation
MBMV
City
Tübingen
Country
Germany
Deadline Paper
Start Date
End Date
Abstract