CFP
MBMV 2018: 21. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” Restaurant Museum Tübingen Tübingen, Germany, March 13-14, 2018 |
Conference website | https://www.mbmv2018.uni-tuebingen.de/ |
Submission link | https://easychair.org/conferences/?conf=mbmv2018 |
Submission deadline | December 21, 2017 |
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.
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.
Inhaltlich konzentriert sich der Workshop auf folgende Themengebiete:
- Formale und semi-formale 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
- Verifikation nichtfunktionaler Eigenschaften
- Simulationsbasierte Validierung
- Maschinelle Lernverfahren in der Entwurfsautomatisierung
Einreichung
Die Autoren werden gebeten, ihre bis jetzt unveröffentlichten Beiträge im Umfang von bis zu
10 Seiten (DIN A4, einspaltig, 12pt Times) oder bereits veröffentlichte Beiträge als einseitige
Zusammenfassung (DIN A4, einspaltig, 12pt Times) als PDF-Datei, in der ggf. die
Originalpublikation referenziert ist, über
https://easychair.org/conferences/?conf=mbmv2018
einzureichen. Work In Progress kann auf 4 bis 6 Seiten vorgestellt werden. Das
Programmkomitee begutachtet und kommentiert alle Einreichungen. Angenommene
unveröffentlichte Beiträge werden komplett, bereits veröffentlichte Beiträge in Form eines
Extended Abstracts in einem Tagungsband mit ISBN veröffentlicht. Bitte verwenden Sie für die
Ausfertigung Ihres Beitrags die auf der Workshop-Webseite verfügbare Vorlage.
Die Sprache des Workshops ist deutsch. Beiträge in englischer Sprache sind jedoch ebenfalls willkommen.