<p>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. </p><p>Themen:</p><p>Formale und semi–formale Spezifikation und Modellierung</p><p>Standards und Erweiterungen von Hardware–Beschreibungssprachen</p><p>Entwurfsmethodik</p><p>Entwurfswiederverwendung (Reuse, IP)</p><p>Syntheseverfahren (Behavioral, RTL)</p><p>Codesign (analog/digital, Hardware/Software)</p><p>Formale Synthese</p><p>Formale Verifikation (Äquivalenz– und Eigenschaftsbeweise)</p><p>Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)</p><p>Verifikation nicht–funktionaler Eigenschaften</p><p>Simulationsbasierte Validierung</p>
Abbrevation
MBMV
City
Bremen
Country
Germany
Deadline Paper
Start Date
End Date
Abstract