Der Workshop ″Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen″ ist bereits der siebte 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>Auch dieses Jahr werden Entwickler aus dem industriellen Umfeld in eingeladenen Vorträgen zu Worte kommen, um ihre neusten Erfahrungen zu präsentieren und um eine Rückkopplung von der Industrie in die Forschung zu ermöglichen. Aus den bisherigen Erfahrungen hat sich gezeigt, dass die von den eingeladenen Rednern angesprochenen Themen immer für viel Diskussionsstoff und neue Anregungen sorgten. <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
Kaiserslautern
Country
Germany
Deadline Paper
Start Date
End Date
Abstract