MBMV 2014 (English shop)

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Preview

Extract, PDF (140 KB)
Preface, PDF (40 KB)
Table of Contents, PDF (24 KB)

This book is a collection of papers from the workshops “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen” (MBMV). The workshop is already the seventeenth joint workshop of Working Groups 3 and 4 of the cooperative association “Rechnergestützter Schaltungs- und Systementwurf (RSS)” of the Gesellschaft für Informatik (GI), the Informationstechnische Gesellschaft im VDE (ITG) and the Gesellschaft für Mikroelektronik, Mikro- und Feinmechanik (GMM). This year the workshop is being held for the first time at the IBM Research and Development Laboratory in Böblingen. The MBMV is a forum for discussing trends, the latest results and current problems in the field of methods for modelling and verification as well as description languages for digital, analogue and mixed-signal circuits. Aspects of the design and test of hardware-related embedded software are also examined within the scope of this workshop.