Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Freiburg, Deutschland

Abbrevation

GI/ITG/GMM-Workshop

Link

http://abs.informatik.uni-freiburg.de/mbmv08/Website/MBMV08/MBMV08.html

City

Freiburg

Country

Germany

Deadline Paper

2007-11-09

Start Date

2008-03-03

End Date

2008-03-05

Abstract

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–Signal–Schaltungen zu diskutieren. Der Austausch von Ideen ist ein wichtiges Anliegen dieses Workshops. Erwünscht sind Beiträge von Forschungseinrichtungen und aus der industriellen Praxis. Sowohl praxisbezogene Ergebnisse als auch theoretische Beiträge sind willkommen. Keywords: <OL> <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Formale und semiformale Spezifikation und Modellierung <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Standards und Erweiterungen von Hardware–Beschreibungssprachen <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Entwurfsmethodik <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Entwurfswiederverwendung (Reuse, IP) <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Syntheseverfahren (Behavioral, RTL) <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Codesign (analog/digital, Hardware/Software) <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Formale Synthese <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Formale Verifikation (Äquivalenz– und Eigenschaftsbeweise) <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Funktionaler Test (Simulation, Testbench–Methodik) <LI class=full–width style=″PADDING–LEFT: 15px; TEXT–INDENT: –10px; LINE–HEIGHT: 17px″> •Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung) </LI></OL>