MBMV

Keyphrases

Publications

2023

Johannes Schreiner, Vasundhara Raje Gontia, Sebastian Prebeck, Wolfgang Ecker
Generator IP-reuse and Automated Infrastructure Generation for Model-based Full-Chip Generation. MBMV (2023)
Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2023, 26th Workshop, Freiburg, Germany, 23-24 March 2023 MBMV (2023)
Julius Roob, Anoop Bhagyanath, Klaus Schneider
Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory. MBMV (2023)
Mark Deutel, Philipp Woller, Christopher Mutschler, Jürgen Teich
Energy-efficient Deployment of Deep Learning Applications on Cortex-M based Microcontrollers using Deep Compression. MBMV (2023)
Philipp Schmitz, Johannes Mueller, Christian Bartsch, Dominik Stoffel, Wolfgang Kunz
UPEC-PN: Exhaustive constant time verification of low-level software using property checking. MBMV (2023)
Lars Luchterhandt, Tom Nellius, Robert Beck, Rainer Dömer, Pascal Kneuper, Wolfgang Mueller, Babak Sadiye
Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture. MBMV (2023)
Iwan Feras Fattohi, Christian Prehofer, Frank Slomka
Worst-Case Response Time Analysis of Earliest Deadline First in an Industrial Case Study. MBMV (2023)

2022

2021

2020

2019

2018