14. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Oldenburg, Deutschland

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 und Mixed&#8211;Signal&#8211;Schaltungen zu diskutieren&#046; Der Austausch von Ideen ist ein wichtiges Anliegen dieses Workshops&#046; Erwünscht sind Beiträge aus der industriellen Praxis und von Forschungs&#8211;einrichtungen&#046; Sowohl praxisbezogene Ergebnisse als auch theoretische Beiträge sind willkommen&#046;Beiträge zu folgenden oder verwandten Themengebieten werden erbeten<BR>Formale und semiformale Spezifikation und Modellierung<BR>Standards und Erweiterungen von Hardware&#8211;Beschreibungssprachen<BR>Entwurfsmethodik<BR>Entwurfswiederverwendung (Reuse, IP)<BR>Syntheseverfahren (Behavioral, RTL)<BR>Codesign(analog/digital, Hardware/Software)<BR>Formale Synthese<BR>Formale Verifikation (Äquivalenz&#8211;und Eigenschaftsbeweise)<BR>Schaltungen und Systeme in sicherheitsrelevanten<BR>Produkten (Zertifizierung)<BR>Verifikation nicht funktionaler Eigenschaften<BR>Simulationsbasierte Verifikation<BR>