<P>Der Workshop ″Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen″ ist ein Forum, um Trends, neueste Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger, Mixed–Signal–Schaltungen zu diskutieren. Der Austausch von Ideen ist ein wich– tiges Anliegen dieses Workshops. Erwünscht sind Beiträge aus der industriellen Praxis und von Forschungseinrichtungen. Sowohl sehr stark praxisbezogene Erfahrungsberichte und Ergebnisse als auch theoretische Beiträge sind willkommen. </P> <P><B>Keywords:</B> Formale und semiformale 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>Methoden zur Echtzeitanalyse<BR>Funktionaler Test (Simulation, Testbench–Methodik)<BR>Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung) <BR></P>
Abbrevation
MBMV
City
Erlangen
Country
Germany
Deadline Paper
Start Date
End Date
Abstract