Der Workshop ″Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen″ ist bereits der sechste 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. <b>Keywords:</b> Formale und semiformale Spezifikation und Modellierung, Standards, Synthesesubsets und Erweiterungen von Hardware–Beschreibungssprachen, Entwurfsmethodik, Entwurfswiederverwendung (Reuse, IP), Syntheseverfahren (Behavioral, RTL), Codesign (analog/digital, Hardware/Software), Formale Synthese, Formale Verifikation (Äquivalenz– und Eigenschaftsbeweise), Funktionaler Test (Simulation, Testbench–Methodik), Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung)
Abbrevation
ITG/GMM/GI Workshop
City
Bremen
Country
Germany
Deadline Paper
Start Date
End Date
Abstract