28. Workshop "Methoden und Beschreibungssprahen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2025) | www.gmachineinfo.com

会议文集

会议名	28. Workshop "Methoden und Beschreibungssprahen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2025)
中译名	《第二十八届电路和系统建模和验证的方法与描述语言讨论会》
机构	Verband der Elektrotechnik Elektronik Informationstechnik e.V. (VDE)
会议日期	11-12 March 2025
会议地点	Rostock, Germany
出版年	2025
馆藏号	358173

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