Header

Shop : Details

Shop
Details
978-3-8440-4996-1
27,80 €
ISBN 978-3-8440-4996-1
Softcover
136 pages
55 figures
191 g
21 x 14,8 cm
English-German
Conference proceeding
January 2017
Daniel Große, Rolf Drechsler (Hrsg.)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
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.
Keywords: Informatik; Beschreibungssprachen; Entwurfsmethodik; Modellierung; Verifikation; Schaltungen; Systeme; Entwurfswiederverwendung; Syntheseverfahren; Formale Synthese; Simulationsbasierte Validierung
Available online documents for this title
You need Adobe Reader, to view these files. Here you will find a little help and information for downloading the PDF files.
Please note that the online documents cannot be printed or edited.
Please also see further information at: Help and Information.
 
 DocumentDocument 
 TypePDF 
 Costs20,85 € 
 ActionDownloadPurchase in obligation and download the file 
     
 
 DocumentTable of contents 
 TypePDF 
 Costsfree 
 ActionDownloadDownload the file 
     
User settings for registered online customers (online documents)
You can change your address details here and access documents you have already ordered.
User
Not logged in
Export of bibliographic data
Shaker Verlag GmbH
Am Langen Graben 15a
52353 Düren
Germany
  +49 2421 99011 9
Mon. - Thurs. 8:00 a.m. to 4:00 p.m.
Fri. 8:00 a.m. to 3:00 p.m.
Contact us. We will be happy to help you.
Captcha
Social Media