Der Workshop ″Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen″ ist der gemeinsame Workshop der Fachgruppen 3 und 4 der Kooperationsgemeinschaft ″Rechnergestützter Entwurf von Schaltungen und Systemen (RSS)″ der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro– und Feinwerktechnik (GMM).<br>Der Workshop hat sich im Laufe der Zeit zu einem Treffpunkt von Forschung und Industrie entwickelt und ist somit zu einem breiten Diskussionsforum geworden, in dem neue theoretische Ansätze genauso diskutiert werden, wie industrielle Erfahrungen im Einsatz von Werkzeugen und Methoden.<br>Der Workshop ist ein Forum, um Trends, neueste Ergebnisse und aktuelle Probleme auf dem Gebiet der Methoden zur Modellierung und Verifikation sowie der Beschreibungssprachen digitaler, analoger, Mixed–Signal–Schaltungen zu diskutieren. <b>Keywords:</b> Formale und semiformale Spezifikation und Modellierung<br>Standards, Synthesesubsets und Erweiterungen von Hardware– Beschreibungssprachen<br>Entwurfsmethodik<br>Entwurfswiederverwendung (Reuse, IP)<br>Syntheseverfahren (Behavioral, RTL)<br>Codesign (analog/digital, Hardware/Software)<br>Formale Synthese<br>Formale Verifikation (Äquivalenz– und Eigenschaftsbeweise)<br>Funktionaler Test (Simulation, Testbench–Methodik)<br>Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)
Abbrevation
GI/GMM/ITG-Workshop
City
Dresden
Country
Germany
Deadline Paper
Start Date
End Date
Abstract