MBMV 2023 : Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 26. Workshop, 23. - 24. März 2023 in Freiburg / VDE Verlag GmbH.

Format:

Book

Author/Creator:

VDE Verlag GmbH, author, issuing body.

Language:

German

Subjects (All):

System design--Congresses.

System design.

Physical Description:

1 online resource (112 pages)

Other Title:

ITG-Fb. 309

Place of Publication:

Berlin : VDE, 2023.

Summary:

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.

Contents:

ITG-Fachbericht 309: MBMV 2023

Titelseite

Impressum

Vorwort

Programmkomitee

Inhaltsverzeichnis

Skalierbarkeit

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

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

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

Verifikation

4 Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars

5 Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization

Werkzeuge, Fallstudien und Hybride Systeme

6 Boolean Format Multitool for the Next Generation

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

8 Runtime Verification of Hybrid Systems with Affine Arithmetic Decision Diagrams

Zertifizierung

9 Efficient Proof Checking with LRAT in CaDiCal (Work in Progress)

10 Stratified Certification for k-Induction

RISC-V

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

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

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

Testen

14 Extended Abstract: Data-Driven Test Generation for Black-Box Systems From Learned Decision Tree Models

15 Fuzz-Testing of SpinalHDL Designs

Sicherheit

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

17 Formal Verification of Data-Obliviousness in Hardware

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

ITG-Fachberichte im Überblick

Ihre Meinung zählt!.

Notes:

Description based on publisher supplied metadata and other sources.

ISBN:

3-8007-6066-5

9783800760664