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

ITG-Fb. 302: MBMV 2022

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 25. Workshop, 17. – 18. Februar 2022, Hochschule Niederrhein, Online-Veranstaltun ...
(» Full Title)

ITG-Fachberichte

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

Content Foreword

Der Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV2022)" ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren.

Ursprünglich war für diese 25. Ausgabe ein Treffen in Krefeld geplant, das nun pandemiebedingt durch eine Online-Veranstaltung ersetzt wurde. In vier Sessions werden unterschiedliche Beiträge diskutiert, wobei auch dieses Mal Gastvorträge aus dem industriellen Umfeld das Programm abrunden.
Die VDE 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 VDE 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.
Mit ihrem weitgespannten internationalen Netzwerk versteht sich die VDE ITG als Plattform für Innovationen und Wissenstransfer für die erfolgreiche Kooperation von Industriepartnern und Forschungseinrichtungen. Hierzu führt die VDE ITG eine ganze Reihe von Fachtagungen, Diskussionssitzungen und Workshops durch. Mit ihren Studien und Empfehlungen bringt die VDE ITG ihre Expertise in Politik und Gesellschaft ein und nimmt an Förderprogrammen teil.

Die VDE/VDI GMM hat die Aufgabe, die wissenschaftliche und technische Entwicklung im Bereich der Mikro-elektronik, Mikrosystem-, Nano- und Feinwerktechnik sowie deren breite Anwendungen zu för-dern. Sie initiiert den dazu erforderlichen Dialog zwischen Herstellern, Anwendern und Wissen-schaft 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 Ent-scheidungsträgern und bringt ihre Fachkompetenz in die Gestaltung der Förderpolitik ein.

Die Gesellschaft für Informatik e.V. (GI) ist mit rund 20.000 persönlichen und 250 korporativen Mitgliedern die größte und wichtigste Fachgesellschaft für Informatik im deutschsprachigen Raum und vertritt seit 1969 die Interessen der Informatikerinnen und Informatiker in Wissenschaft, Wirtschaft, öffentlicher Verwaltung, Gesellschaft und Politik.

1

Compositional Fault Propagation Analysis in Embedded Systems using Abstract Interpretation

Authors:
Bartsch, Christian; Wilhelm, Stephan; Kaestner, Daniel; Stoffel, Dominik; Kunz, Wolfgang

2

Detection and Elimination of Constants to Strengthen k-Induction

Authors:
Mentel, Lukas; Scheibler, Karsten; Teige, Tino

3

Making PROGRESS in Property Directed Reachability

Authors:
Seufert, Tobias; Scholl, Christoph; Chandrasekharan, Arun; Reimer, Sven; Welp, Tobias

4

Simulation-based Verification of SystemC-based VPs at the ESL

Authors:
Goli, Mehran; Drechsler, Rolf

5

A Scalable, Configurable and Programmable Vector Dot-Product Unit for Edge AI

Authors:
Prebeck, Sebastian; Ashok, Sathya; Vaddeboina, Mounika; Devarajegowda, Keerthikumara; Ecker, Wolfgang

6

Data-aware Global Scheduling of Dataflow Process Networks

Authors:
Rafique, Omair; Schneider, Klaus

7

Virtual Buffers for Exposed Datapath Architectures

Authors:
Schneider, Klaus; Bhagyanath, Anoop; Roob, Julius

8

Diagnosing Partially Observable Markov Decision Processes

Authors:
Hu, Ming; Winterer, Leonore; Wimmer, Ralf

9

Polynomial Formal Verification of Complex Multipliers

Authors:
Mahzoon, Alireza; Drechsler, Rolf