VDE/VDI-GMM; ITG; GI (Ed.)

GMM-Fb. 96: MBMV 2020

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, GMM/ITG/GI-Workshop, 19. – 20. März 2020 in Stuttgart

GMM-Fachberichte

2020, 106 pages, 140 x 124 mm, Slimlinebox, CD-Rom
ISBN 978-3-8007-5220-1, e-book: ISBN 978-3-8007-5221-8
Personal VDE Members are entitled to a 10% discount on this title

Content Foreword

MBMV ist der jahrlich stattfindende Workshop der GMM/ITG/GI-Fachgruppen 3 (Methoden des Entwurfs und der Verifikation digitaler Schaltungen und Systeme) und 4 (Beschreibungssprachen und Modellierung von Schaltungen und Systemen) der Kooperationsgemeinschaft Rechnergestützter Schaltungs- und Systementwurf (RSS).
Das Ziel der Fachtagung besteht darin, Experten aus Industrie und Forschung zusammenzubringen, um gemeinsam neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und der Verifikation von Schaltungen und Systemen zu diskutieren.
Wissenschaftliche Beitrage prasentieren neue Ergebnisse und werden zusatzlich, sofern sie in englischer Sprache vorliegen, in IEEE Xplore veroffentlicht.
VDE/VDI-Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik (GMM)
Die GMM hat die Aufgabe, die wissenschaftliche und technische Entwicklung im Bereich der Mikroelektronik, Mikrosystem-, Nano- und Feinwerktechnik sowie deren breite Anwendungen zu fördern. Sie initiiert den dazu erforderlichen Dialog zwischen Herstellern, Anwendern und Wissenschaft und bildet ein Forum für Diskussionen über diese Techniken in der Öffentlichkeit. Die GMM vertritt die Belange der in ihr vertretenen Arbeits- und Fachgebiete gegenüber politischen Entscheidungsträgern und bringt ihre Fachkompetenz in die Gestaltung der Förderpolitik ein.

Informationstechnische Gesellschaft im VDE (ITG)
Die ITG ist als interdisziplinär arbeitende, wissenschaftliche Fachgesellschaft in das fachübergreifende Netzwerk des VDE eingebunden. Sie agiert als Schnittstelle für Experten der Informationstechnik (ITK) in Wirtschaft, Verwaltung, Lehre und Forschung. Ihre Mitglieder bündeln in enger internationaler Anbindung die deutsche Kompetenz im Bereich der ITK. Die ITG fördert Forschung und Anwendung dieser Schlüsseltechnologie sowie deren effizienten Einsatz in den Bereichen Daten- und Kommunikationstechnik und -systeme, Umweltschutz, Medizin und Verkehr.

Gesellschaft für Informatik e.V. (GI)
Die Gesellschaft für Informatik e. V. ist die größte Informatikfachvertretung im deutschsprachigen Raum. Sie ist eine gemeinnützige Fachgesellschaft, die sich zum Ziel gesetzt hat, die Informatik in Deutschland zu fördern.
1

Area Estimation Framework for Digital Hardware Design using Machine Learning

Authors:
Froemmer, Jens; Gowayed, Yara; Bannow, Nico; Kunz, Wolfgang; Grimm, Christoph; Schneider, Klaus

2

Capturing Neural-Networks as Synchronous Dataflow Graphs

Authors:
Luenemann, Daniel; Fakih, Maher; Gruettner, Kim

3

Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS

Authors:
Heller, Jakob; Niemann, Christoph; Plocksties, Franz; Haubelt, Christian; Timmermann, Dirk

4

jAADD: A Library for Symbolic Analysis of Hybrid Systems

Authors:
Grimm, Christoph; Zivkovic, Carna

5

Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs

Authors:
Rudolf, Jens; Gruetzmacher, Florian; Haubelt, Christian

6

7

A Hard Real Time Demo for Dynamic Ticks and Timed SCCharts

Authors:
Boysen, Andreas; Schulz-Rosengarten, Alexander; von Hanxleden, Reinhard

8

9

Properties of Invariants and Induction Lemmata

Authors:
Koehler, Martin; Hasselwander, Felix; Schneider, Klaus

10

A Verification Approach for Programmable Logic Controllers

Authors:
Elfatih, Braah; Sauppe, Matthias; Heinkel, Ulrich

11

Efficient Binary-Level Coverage Analysis (Abstract)

Authors:
Khadra, M. Ammar Ben; Stoffel, Dominik; Kunz, Wolfgang

12

Error Analysis for Loop Programs using Anytime Instructions in Approximate Computing

Authors:
Keszocze, Oliver; Koenig, Moritz; Brand, Marcel; Teich, Juergen

13

Fuzz-Testing RISC-V Simulators

Authors:
Herdt, Vladimir; Grosse, Daniel; Drechsler, Rolf

14

A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures

Authors:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph