Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

13. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010

22.02. - 24.02.2010, Fraunhofer IIS/EAS Dresden
 
: Dietrich, M.
: Fraunhofer-Institut für Integrierte Schaltungen -IIS-, Institutsteil Entwurfsautomatisierung -EAS-, Dresden

:
:

Stuttgart: Fraunhofer Verlag, 2010, 248 S.
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen <13, 2010, Dresden>
ISBN: 3-8396-0103-7
ISBN: 978-3-8396-0103-7
Deutsch
Tagungsband
Fraunhofer IIS, Institutsteil Entwurfsautomatisierung (EAS) ()
Angewandte Forschung; applied research

Abstract
Es werden Trends, neueste Ergebnisse und aktuelle Probleme auf folgenden Gebieten präsentiert:
Formale und semiformale Spezifikation und Modellierung;
Standards und Erweiterungen von Hardware-Beschreibungssprachen einschl. Sensorik;
Entwurfsmethodik und -wiederverwendung;
Syntheseverfahren, Co-Design;
Schaltungen und Systeme in sicherheitsrelevanten Produkten;
Verifikation nicht funktionaler Eigenschaften;
Simulationsbasierte Verifikation.

: http://publica.fraunhofer.de/dokumente/N-118835.html