1
Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization (extended abstract)
Authors:
Konrad, Alexander; Scholl, Christoph; Mahzoon, Alireza; Grosse, Daniel; Drechsler, Rolf
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
2
Efficient Proof Checking with LRAT in CADICAL (Work in Progress)
Authors:
Pollitt, Florian; Fleury, Mathias; Biere, Armin
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
3
Energy-efficient Deployment of Deep Learning Applications on Cortex-M based Microcontrollers using Deep Compression
Authors:
Deutel, Mark; Woller, Philipp; Mutschler, Christopher; Teich, Juergen
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
4
Equivalence Checking of Majority-based Function Mapping on ReRAM Crossbars
Authors:
Deb, Arighna; Datta, Kamalika; Drechsler, Rolf
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
5
Extended Abstract: Data-Driven Test Generation for Black-Box Systems From Learned Decision Tree Models
Authors:
Plambeck, Swantje; Fey, Goerschwin
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
6
Formal Verification of Data-Obliviousness in Hardware
Authors:
Deutschmann, Lucas; Mueller, Johannes; Fadiheh, Mohammad R.; Stoffel, Dominik; Kunz, Wolfgang
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
7
Generator IP-reuse and Automated Infrastructure Generation for Model-based Full-Chip Generation
Authors:
Schreiner, Johannes; Gontia, Vasundhara Raje; Prebeck, Sebastian; Ecker, Wolfgang
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
8
How We Learned to StopWorrying and Build a RISC-V VP with only one Microcode Instruction
Authors:
Klemmer, Lucas; Gurtner, Sonja; Grosse, Daniel
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
9
Runtime Verification of Hybrid Systems with Affine Arithmetic Decision Diagrams
Authors:
Heermann, Hagen; Grimm, Christoph
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
10
Security Validation of VP-based Heterogeneous Systems: A Completeness-driven Perspective
Authors:
Demirhan Coskun, Ece Nur; Hassan, Muhammad; Drechsler, Rolf
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
11
Towards a Rocket Chip Based Implementation of the RISC-V GPC Architecture
Authors:
Luchterhandt, Lars; Nellius, Tom; Beck, Robert; Doemer, Rainer; Kneuper, Pascal; Mueller, Wolfgang; Sadiye, Babak
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
12
Towards Buffers as a Scalable Alternative to Registers for Processor-Local Memory
Authors:
Roob, Julius; Bhagyanath, Anoop; Schneider, Klaus
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
13
Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems
Authors:
Bruns, Niklas; Ahmadi-Pour, Sallar; Tempel, Soeren; Drechsler, Rolf
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
14
UPEC-PN: Exhaustive constant time verification of low-level software using property checking
Authors:
Schmitz, Philipp; Mueller, Johannes; Bartsch, Christian; Stoffel, Dominik; Kunz, Wolfgang
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
15
Worst-Case Response Time Analysis of Earliest Deadline First in an Industrial Case Study
Authors:
Fattohi, Iwan Feras; Prehofer, Christian; Slomka, Frank
Conference:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop