Daniel Große, Rolf Drechsler (Hrsg.)Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ISBN: | 978-3-8440-4996-1 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Series: | Informatik | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Keywords: | Informatik; Beschreibungssprachen; Entwurfsmethodik; Modellierung; Verifikation; Schaltungen; Systeme; Entwurfswiederverwendung; Syntheseverfahren; Formale Synthese; Simulationsbasierte Validierung | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Type of publication: | Conference proceedings | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Language: | English-German | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Pages: | 136 pages | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Figures: | 55 figures | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Weight: | 191 g | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Format: | 21 x 14,8 cm | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Binding: | Paperback | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Price: | 27,80 € / 34,80 SFr | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Published: | January 2017 | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Buy: | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Download: | Available PDF-Files for this title: You need the Adobe Reader, to open the files. Here you get help and information, for the download. These files are not printable.
User settings for registered users You can change your address here or download your paid documents again.
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Recommendation: | You want to recommend this title? | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Review copy: | Here you can order a review copy. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Link: | You want to link this page? Click here. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Export citations: |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Abstract: | In diesem Jahr wird der Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“ (MBMV) zum 20. Mal veranstaltet. Getragen durch die Gesellschaft für Informatik (GI), die Informationstechnische Gesellschaft im VDE (ITG) und die VDE/VDIGesellschaft für Mikroelektronik, Mikrosystem- und Feinwerktechnik (GMM), findet der MBMV dieses Jahr vom 8. bis 9. Februar 2017 im Haus der Wissenschaft in Bremen statt.
Das Ziel des Workshops ist es, neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation sowie der Beschreibungssprachen für digitale, analoge und Mixed-Signal-Systeme zu diskutieren. Insbesondere wird der Kontakt zwischen Universitäten, Forschungseinrichtungen und Industrie gefördert und ein gegenseitiger Gedankenaustausch angeregt. Dieses Ziel soll mit Beiträgen aus den folgenden Themenschwerpunkten erreicht werden: . Formale und semi-formale Spezifikation und Modellierung . Standards und Erweiterungen von Hardware-Beschreibungssprachen . Entwurfsmethodik . Entwurfswiederverwendung (Reuse, IP) . Syntheseverfahren (Behavioral, RTL) . Co-Design (analog/digital, Hardware/Software) . Formale Synthese . Formale Verifikation (Äquivalenz- und Eigenschaftsbeweis) . Schaltungen und Systeme in sicherheitsrelevanten Produkten (Zertifizierung) . Verifikation nicht-funktionaler Eigenschaften . Simulationsbasierte Validierung Wie im vergangenen Jahr enthält der Tagungsband zwei Arten von Beiträgen: zum einen reguläre, bisher unveröffentlichte Papiere und zum anderen Zusammenfassungen von bereits auf Konferenzen veröffentlichten Beiträgen. Beide werden im Rahmen von Vorträgen auf dem Workshop präsentiert. Aus einer Vielzahl von eingereichten Beiträgen konnte ein sehr interessantes Programm zusammengestellt werden, das aus 18 Vorträgen besteht. Das Programm wird durch eingeladene Vorträge aus der Industrie und Wissenschaft abgerundet, die gemäß den Erfahrungen früherer Workshops für viele Anregungen und Diskussionsstoff sorgen. | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
» more titles from Daniel Große, Rolf Drechsler (Hrsg.) |