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

Website mbmv2011.offis.de | Edit Freely

Category MBMV 2011

Deadline: November 01, 2010 | Date: February 21, 2011-February 23, 2011

Venue/Country: Oldenburg, Germany

Updated: 2010-10-06 15:31:24 (GMT+9)

Call For Papers - CFP

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 ( mbmv2011offis.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: