18. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Chemnitz, Deutschland

<p>Der Workshop hat es sich zum Ziel gesetzt, neueste Trends, 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; Er soll somit ein Forum zum Ideenaustausch sein&#046;</p> <p>Beiträge aus der industriellen Praxis und von Forschungseinrichtungen, sowohl praxisbezogene Ergebnisse als auch theoretische Grundlagen, sind willkommen&#046; Diese sollten aus den folgenden Themengebieten kommen:</p> <ul><li>Formale und semi&#8211;formale Spezifikation und Modellierung</li><li>Standards und Erweiterungen von Hardware&#8211;Beschreibungssprachen</li><li>Entwurfsmethodik</li><li>Entwurfswiederverwendung (Reuse, IP)</li><li>Syntheseverfahren (Behavioral, RTL)</li><li>Codesign (analog/digital, Hardware/Software)</li><li>Formale Synthese</li><li>Formale Verifikation (Äquivalenz&#8211; und Eigenschaftsbeweise)</li><li>Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)</li><li>Verifikation nichtfunktionaler Eigenschaften</li><li>Simulationsbasierte Verifikation</li></ul>