Blick ins Buch

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Jürgen Ruf, Dirk Allmendinger, Matteo Michel (Herausgeber)

Buch

222 Seiten

2014
Cuvillier Verlag
978-3-95404-637-9 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Titel ist leider vergriffen;
keine Neuauflage

Artikel merken

Das vorliegende Buch ist eine Sammlung von Papieren der Workshops ?Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen? (MBMV). Der Workshop ist bereits der siebzehnte gemeinsame Workshop der Fachgruppen 3 und 4 der Kooperationsgemeinschaft? Rechnergestützter Schaltungs- und Systementwurf (RSS)? der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro- und Feinmechanik (GMM). In diesem Jahr findet der Workshop erstmals im IBM Forschungs- und Entwicklungslabor in Böblingen statt. Die MBMV ist ein Forum um Trends, neuste Ergebnisse und aktuelle Probleme auf d em Gebiet der Methoden zur Modellierun und Verifikation sowie der Beschreibungssprachen digitaler, analoger und Mixed-Signal-Schaltungen zu diskutieren. Auch Aspekte des Entwurfs und Tests von hardwarenaher eingebetteter Software werden im Rahmen dieses Workshops beleuchtet.

Erscheint lt. Verlag	18.2.2014
Sprache	deutsch
Einbandart	Paperback
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Codesign (analog/digital, Hardware/Software) • Entwurfsmethodik • Formale und semiformale Spezifikation und Modellierung • formale Verifikation (Äquivalenz- und Eigenschaftsbe-weise) • Nachrichten- und Kommunikationstechnik • simulationsbasierte Verifikation • Verifikation nicht-funktionaler Eigenschaften • Verifikation und Validierung hardwarenaher Software
ISBN-10	3-95404-637-7 / 3954046377
ISBN-13	978-3-95404-637-9 / 9783954046379
Zustand	Neuware