1
A Matter of Overhead – Response Time Analysis of Hard Real-Time Systems in Theory and Practice
Authors:
Brand, Max; Mayer, Albrecht; Slomka, Frank
Conference:
MBMV 2021 - 24. Workshop MBMV
2
APPEL - AGILA ProPErty and Dependency Description Language
Authors:
Grimm, Christoph; Wawrzik, Frank; Jung, Alexander Louis-Ferdinand; Luebeck, Konstantin; Post, Sebastian; Koch, Johannes; Bringmann, Oliver
Conference:
MBMV 2021 - 24. Workshop MBMV
3
Approximate Computing Extensions for the Clash HDL Compiler
Authors:
Keszocze, Oliver; Kiessling, Michael
Conference:
MBMV 2021 - 24. Workshop MBMV
4
Benchmarking SMT Solvers on Automotive Code
Authors:
Mentel, Lukas; Scheibler, Karsten; Winterer, Felix; Becker, Bernd; Teige, Tino
Conference:
MBMV 2021 - 24. Workshop MBMV
5
Comprehensive modeling and evaluation of Network-on-Chip performability
Authors:
Hou, Jie; Radetzki, Martin
Conference:
MBMV 2021 - 24. Workshop MBMV
6
Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion
Authors:
Ahmadi-Pour, Sallar; Herdt, Vladimir; Drechsler, Rolf
Conference:
MBMV 2021 - 24. Workshop MBMV
7
Decision Tree-based Throughput Estimation to Accelerate Design Space Exploration for Multi-Core Applications
Authors:
Letras, Martin; Falk, Joachim; Teich, Juergen
Conference:
MBMV 2021 - 24. Workshop MBMV
8
Exploration of DDR5 with the Open-Source Simulator DRAMSys
Authors:
Steiner, Lukas; Jung, Matthias; Wehn, Norbert
Conference:
MBMV 2021 - 24. Workshop MBMV
9
Extended Abstract: Viability of Decision Trees for Learning Models of Systems
Authors:
Plambeck, Swantje; Schammer, Lutz; Fey, Goerschwin
Conference:
MBMV 2021 - 24. Workshop MBMV
10
Extending Verilator to Enable Fault Simulation
Authors:
Kaja, Endri; Leon, Nicolas Ojeda; Werner, Michael; Andrei-Tabacaru, Bogdan; Devarajegowda, Keerthikumara; Ecker, Wolfgang
Conference:
MBMV 2021 - 24. Workshop MBMV
11
ICP and IC3 with Stronger Generalization
Authors:
Winterer, Felix; Seufert, Tobias; Scheibler, Karsten; Teige, Tino; Scholl, Chritsoph; Becker, Bernd
Conference:
MBMV 2021 - 24. Workshop MBMV
12
On Self-Verifying DSL Generation for Embedded Systems Automation
Authors:
Han, Zhao; Qazi, Shahzaib; Werner, Michael; Devarajegowda, Keerthikumara; Ecker, Wolfgang
Conference:
MBMV 2021 - 24. Workshop MBMV
13
Ontology Design for Microelectronics with Roadmapping (Work-in-progress)
Authors:
Wawrzik, Frank; Grimm, Christoph
Conference:
MBMV 2021 - 24. Workshop MBMV
14
Operation-Level Synthesis
Authors:
Deutschmann, Lucas; Schauss, Johannes; Ludwig, Tobias; Stoffel, Dominik; Kunz, Wolfgang
Conference:
MBMV 2021 - 24. Workshop MBMV
15
Register and Instruction Coverage Analysis for Different RISC-V ISA Modules
Authors:
Adelt, Peer; Koppelmann, Bastian; Mueller, Wolfgang; Scheytt, Christoph
Conference:
MBMV 2021 - 24. Workshop MBMV
16
Stärkung deterministischer Strategien für POMDPs
Authors:
Winterer, Leonore; Wimmer, Ralf; Jansen, Nils; Becker, Bernd
Conference:
MBMV 2021 - 24. Workshop MBMV