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

ITG-Fb. 309: MBMV 2023

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 26. Workshop, 23. – 24. März 2023 in Freiburg

ITG-Fachberichte

2023, VI, 104 pages, 140 x 124 mm, Slimlinebox, CD-Rom
ISBN 978-3-8007-6065-7, e-book: ISBN 978-3-8007-6066-4
Personal VDE Members are entitled to a 10% discount on this title

Content Foreword

Der 26. Workshop der VDE ITG, VDE/VDI GMM, und GI-Fachgruppen FG3 und FG4 "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" ist ein Forum zu neuen Trends, Ergebnissen und aktuellen Fragen auf dem Gebiet der Modellierung.

Diskussionsbeiträge zu folgenden Themen sind im Blickpunkt:
- Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung
- Standards und Erweiterungen von Modellierungssprachen für Hardware oder HW/SW-Systeme
- Modelle und Methoden für die domänenübergreifende Entwicklung: analog-digital, cyber-physisch, HW/SW
- Verhaltensmodellierung, KI-basierte Modelle
- Modellbasierte Entwicklung
- Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen
- Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise)
- Schaltungen und Systeme in sicherheitsrelevanten Produkten
- Verifikation nichtfunktionaler Eigenschaften
- Simulationsbasierte Verifikation und Validierung
- Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse
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

Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory

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

2

Energy-efficient Deployment of Deep Learning Applications on Cortex-M based Microcontrollers using Deep Compression

Authors:
Deutel, Mark; Woller, Philipp; Mutschler, Christopher; Teich, Juergen

3

Generator IP-reuse and Automated Infrastructure Generation for Model-based Full-Chip Generation

Authors:
Schreiner, Johannes; Gontia, Vasundhara Raje; Prebeck, Sebastian; Ecker, Wolfgang

4

Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars

Authors:
Deb, Arighna; Datta, Kamalika; Drechsler, Rolf

5

Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization (extended abstract)

Authors:
Konrad, Alexander; Scholl, Christoph; Mahzoon, Alireza; Grosse, Daniel; Drechsler, Rolf

6

Worst-Case Response Time Analysis of Earliest Deadline First in an Industrial Case Study

Authors:
Fattohi, Iwan Feras; Prehofer, Christian; Slomka, Frank

7

8

Efficient Proof Checking with LRAT in CADICAL (Work in Progress)

Authors:
Pollitt, Florian; Fleury, Mathias; Biere, Armin

9

How We Learned to StopWorrying and Build a RISC-V VP with only one Microcode Instruction

Authors:
Klemmer, Lucas; Gurtner, Sonja; Grosse, Daniel

10

Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture

Authors:
Luchterhandt, Lars; Nellius, Tom; Beck, Robert; Doemer, Rainer; Kneuper, Pascal; Mueller, Wolfgang; Sadiye, Babak

11

Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems

Authors:
Bruns, Niklas; Ahmadi-Pour, Sallar; Tempel, Soeren; Drechsler, Rolf

12

13

Security Validation of VP-based Heterogeneous Systems: A Completeness-driven Perspective

Authors:
Demirhan Coskun, Ece Nur; Hassan, Muhammad; Drechsler, Rolf

14

Formal Verification of Data-Obliviousness in Hardware

Authors:
Deutschmann, Lucas; Mueller, Johannes; Fadiheh, Mohammad R.; Stoffel, Dominik; Kunz, Wolfgang

15

UPEC-PN: Exhaustive constant time verification of low-level software using property checking

Authors:
Schmitz, Philipp; Mueller, Johannes; Bartsch, Christian; Stoffel, Dominik; Kunz, Wolfgang