1
Coverage Metrics for Security Property Verification: A Novel Approach
Autoren:
Nagar, Jaimini; Dworzak, Thorsten; Simon, Sebastian; Heinkel, Ulrich; Lettnin, Djones
Konferenz:
MBMV 2025 - 28. Workshop
2
Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
Autoren:
Plambeck, Swantje; Salamati, Ali; Hüllermeier, Eyke; Fey, Goerschwin
Konferenz:
MBMV 2025 - 28. Workshop
3
Dead-Code Detection with IC3 using SMT-LIBv2 Solvers
Autoren:
Mentel, Lukas; Seufert, Tobias; Scheibler, Karsten; Scholl, Christoph
Konferenz:
MBMV 2025 - 28. Workshop
4
Efficient Hierarchical Decomposition of Repetitive Traces for MLDriven Analysis
Autoren:
Knödtel, Johannes; Reichenbach, Marc
Konferenz:
MBMV 2025 - 28. Workshop
5
Enhancing LLM-Generated Hardware Documentation: Post-Processing and Prompt Engineering Techniques
Autoren:
Kunzelmann, Robert; Fernando, Saruni; Ecker, Wolfgang
Konferenz:
MBMV 2025 - 28. Workshop
6
Exploration of Clock and Power Gating Tradeoffs for the Design of Self-Powering Dataflow Networks
Autoren:
Karim, Abrarul; Falk, Joachim; Teich, Jürgen
Konferenz:
MBMV 2025 - 28. Workshop
7
Improving Design Generation by Interface Configuration Propagation
Autoren:
Simson, Natalie; Kumar Sinha, Paritosh; Ecker, Wolfgang
Konferenz:
MBMV 2025 - 28. Workshop
8
Latency-Constrained Neural Architecture Search for U-Nets on Graphics Processing Units
Autoren:
Groth, Stefan; Heidorn, Christian; Schmid, Moritz; Teich, Jürgen; Hannig, Frank
Konferenz:
MBMV 2025 - 28. Workshop
9
Minimizing simulation effort during temporal distribution analysis in real-time systems
Autoren:
Gaschler, Andre; Slomka, Frank
Konferenz:
MBMV 2025 - 28. Workshop
10
Parameterized Construction and Constraint-Driven Validation of Formal Hardware Specifications for Efficient Code Generation
Autoren:
Kunzelmann, Robert; Berger, Maximilian; Ecker, Wolfgang
Konferenz:
MBMV 2025 - 28. Workshop
11
Platform-Aware RTL Generation: Bridging the Gap between Design and Implementation
Autoren:
Badawy, Mohamed; Gerlin, Nicolas; Kumar Sinha, Paritosh; Kaja, Endri; Al Halabi, Jad; Ecker, Stephanie; Simson, Natalie; Ecker, Wolfgang
Konferenz:
MBMV 2025 - 28. Workshop
12
Rustifying Embedded Software Development: A Model-Based Code Generation Approach for Auto-Generation of C and RUST
Autoren:
Kunz, Raphael; Bhadra, Mayuri; Ecker, Stephanie; Paritosh Kumar, Sinha; Ecker, Wolfgang
Konferenz:
MBMV 2025 - 28. Workshop
13
Towards Non-Intrusive SystemC Checkpointing for Digital Virtual Prototypes
Autoren:
Ravibabu, Deepak; Hassan, Muhammad; Vörtler, Thilo; Einwich, Karsten; Drechsler, Rolf; Große, Daniel
Konferenz:
MBMV 2025 - 28. Workshop
14
Towards Semantic Abstraction of Test Programs
Autoren:
Sauppe, Matthias; Heinkel, Ulrich; Manns, Daniel
Konferenz:
MBMV 2025 - 28. Workshop
15
Using Computational Stress to Derive Stress Robustness and Timing Behaviors on Hard Real-Time Operating Systems
Autoren:
Brand, Max; Mayer, Albrecht; Slomka, Frank
Konferenz:
MBMV 2025 - 28. Workshop
16
Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case Study
Autoren:
Hannemann, Kai Arne; Berke Bütün, Hüseyin; Mueller, Wolfgang; Scheytt, Christoph J.
Konferenz:
MBMV 2025 - 28. Workshop