|
|
|
| |||||||||||||||
MBMV 2011 : 14. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |||||||||||||||
| Link: http://mbmv2011.offis.de/joomla/ | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
|
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 |
|
