会议文集


会议名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 SystemsMax Brand; Albrecht Mayer; Frank Slomka2025
Towards Semantic Abstraction of Test ProgramsMatthias Sauppe; Ulrich Heinkel; Daniel Manns2025
Minimizing simulation effort during temporal distribution analysis in real-time systemsGaschler, Andre; Slomka, Frank2025
Verilator and FireSim RTL Simulations on a HPC Cluster: A Comparative Case StudyKai Arne Hannemann; Huseyin Berke Butun; Wolfgang Mueller; Christoph J. Scheytt2025
Towards Non-Intrusive SystemC Checkpointing for Digital Virtual PrototypesDeepak Ravibabu; Muhammad Hassan; Thilo Vortler; Karsten Einwich; Rolf Drechsler; Daniel Grosse2025
Latency-Constrained Neural Architecture Search for U-Nets on Graphics Processing UnitsStefan Groth; Christian Heidorn; Moritz Schmid; Jurgen Teich; Frank Hannig2025
Improving Design Generation by Interface Configuration PropagationNatalie Simson; Paritosh Kumar Sinha; Wolfgang Ecker2025
Exploration of Clock and Power Gating Tradeoffs for the Design of Self-Powering Dataflow NetworksAbrarul Karim; Joachim Falk; Jurgen Teich2025
Platform-Aware RTL Generation: Bridging the Gap between Design and ImplementationMohamed Badawy; Nicolas Gerlin; Paritosh Kumar Sinha; Endri Kaja; Jad Al Halabi; Stephanie Ecker; Natalie Simson; Wolfgang Ecker2025
Enhancing LLM-Generated Hardware Documentation: Post-Processing and Prompt Engineering TechniquesRobert Kunzelmann; Saruni Fernando; Wolfgang Ecker2025
Rustifying Embedded Software Development: A Model-Based Code Generation Approach for Auto-Generation of C and RUSTRaphael Kunz; Mayuri Bhadra; Stephanie Ecker; Sinha Paritosh Kumar; Wolfgang Ecker2025
Parameterized Construction and Constraint-Driven Validation of Formal Hardware Specifications for Efficient Code GenerationRobert Kunzelmann; Maximilian Berger; Wolfgang Ecker2025
Coverage Metrics for Security Property Verification: A Novel ApproachJaimini Nagar; Thorsten Dworzak; Sebastian Simon; Ulrich Heinkel; Djones Lettnin2025
Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy MachinesSwantje Plambeck; Ali Salamati; Eyke Hullermeier; Goerschwin Fey2025
Dead-Code Detection with IC3 using SMT-LIBv2 SolversLukas Mentel; Tobias Seufert; Karsten Scheibler; Christoph Scholl2025
Efficient Hierarchical Decomposition of Repetitive Traces for ML-Driven AnalysisJohannes Knodtel; Marc Reichenbach2025



制造业外文文献服务平台