MBMV 2011 - MBMV 2011 : 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Beiträge zu folgenden oder verwandten Themengebieten werden erbeten
Formale und semiformale Spezifikation und Modellierung
Standards und Erweiterungen von Hardware-Beschreibungssprachen
Entwurfsmethodik
Entwurfswiederverwendung (Reuse, IP)
Syntheseverfahren (Behavioral, RTL)
Codesign (analog/digital, Hardware/Software)
Formale Synthese
Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
Schaltungen und Systeme in sicherheitsrelevanten
Produkten (Zertifizierung)
Verifikation nicht funktionaler Eigenschaften
Simulationsbasierte Verifikation
Die Autoren werden gebeten, ihre Beiträge (Details s.u.) als
PDF-Datei an Frank Oppenheimer ( mbmv2011-AT-offis.de) zu senden. Im Beitrag selbst soll weder der Name noch
die Anschrift der Autoren enthalten sein.
Die Sprache des Workshops ist deutsch, Beiträge oder Vorträge in englischer Sprache
sind jedoch willkommen.
Druckversion des Call for Paper (PDF)

Wichtige Daten
Einreichung der Beiträge: 7. November 2010
Benachrichtigung der Autoren: 10. Dezember 2010
Druckfertige Version: 7. Januar 2011

Hinweise zum Ausfertigen der Langfassungen:

Bitte verwenden Sie für die Ausfertigung Ihrer Langfassung in Deutsch oder Englisch das von uns vorgeschlagene Layout.

Der Umfang soll maximal zehn A4-Seiten (Fontgröße 12pt, einspaltig) betragen.

Bitte stellen Sie das fertige Objekt
elektronisch
in druckfähiger Qualität
im PDF-Format, ohne Seitennummerierung

auf den dafür eingerichteten Platz im Konferenz-Tool (wird demnächst freigeschaltet)

Gerne können Sie die folgenden Vorlagen verwenden: