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
Diese Publikation zitieren
VDE/VDI GMM (Hg.), VDE ITG (Hg.), GI (Hg.), GMM-Fb. 96: MBMV 2020 (2020), VDE Verlag, Berlin, ISBN: 9783800752218
17
Accesses
Accesses
Beschreibung / Abstract
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.
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.
Inhaltsverzeichnis
- GMM-Fachbericht 96: MBMV 2020
- Titelseite
- Impressum
- Vorwort
- Programmkomitee
- Inhalt
- Abschätzungsverfahren und Optimierung
- Modellierung und Analyse
- Echtzeit
- Verifikation und Coverage
- Fehleranalyse
- Keynotes
- 1 Area Estimation Framework for Digital Hardware Design Using Machine Learning
- 2 Design-Time System-On-Chip Memory Optimization
- 3 Capturing Neural-Networks as Synchronous Dataflow Graphs
- 4 Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS
- 5 jAADD: A Library for Symbolic Analysis of Hybrid Systems
- 6 Model-based Analysis of Sensor-Subsystems Using Scenario-Aware Dataflow Graphs
- 7 Erweiterter modellbasierter Entwurf eines selektiven und konfigurierbaren Echtzeitkommunikationssystems
- 8 A Hard Real Time Demonstrator for Dynamic Ticks and Timed SCCharts
- 9 Echtzeitanomalien: Automatisiertes Testen der Zuverlässigkeit realer Systeme mit Hilfe von Zeit-Fault Injection
- 10 Properties of Invariants and Induction Lemmata
- 11 A Verification Approach for Programmable Logic Controllers
- 12 Efficient Binary-Level Coverage Analysis (Abstract)
- 13 Error Analysis for Loop Programs Using Anytime Instructions in Approximate Computing
- 14 Fuzz-Testing RISC-V Simulators
- 15 A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures
- 16 A Framework to Compute Transient Performances of 3D NoCs under Faults in Links and TSVs
- GMM-Fachberichte im Überblick
- Ihre Meinung zählt!