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

GMM-Fb. 96: MBMV 2020

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

GMM-Fachberichte

2020, 106 Seiten, 140 x 124 mm, Slimlinebox, CD-Rom
ISBN 978-3-8007-5220-1, E-Book: ISBN 978-3-8007-5221-8
Für Fach- und Hochschulbereich
Persönliche VDE-Mitglieder erhalten auf diesen Titel 10% Rabatt

Inhaltsverzeichnis Vorwort

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

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

2

Capturing Neural-Networks as Synchronous Dataflow Graphs

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

3

Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS

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

4

jAADD: A Library for Symbolic Analysis of Hybrid Systems

Autoren: Grimm, Christoph; Zivkovic, Carna

5

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

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

6

7

A Hard Real Time Demo for Dynamic Ticks and Timed SCCharts

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

8

9

Properties of Invariants and Induction Lemmata

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

10

A Verification Approach for Programmable Logic Controllers

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

11

Efficient Binary-Level Coverage Analysis (Abstract)

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

12

Error Analysis for Loop Programs using Anytime Instructions in Approximate Computing

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

13

Fuzz-Testing RISC-V Simulators

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

14

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

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