1
Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization (extended abstract)
Autoren:
Konrad, Alexander; Scholl, Christoph; Mahzoon, Alireza; Grosse, Daniel; Drechsler, Rolf
Konferenz:
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)
Autoren:
Pollitt, Florian; Fleury, Mathias; Biere, Armin
Konferenz:
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
Autoren:
Deutel, Mark; Woller, Philipp; Mutschler, Christopher; Teich, Juergen
Konferenz:
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
Autoren:
Deb, Arighna; Datta, Kamalika; Drechsler, Rolf
Konferenz:
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
Autoren:
Plambeck, Swantje; Fey, Goerschwin
Konferenz:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop
6
Formal Verification of Data-Obliviousness in Hardware
Autoren:
Deutschmann, Lucas; Mueller, Johannes; Fadiheh, Mohammad R.; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
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
Autoren:
Schreiner, Johannes; Gontia, Vasundhara Raje; Prebeck, Sebastian; Ecker, Wolfgang
Konferenz:
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
Autoren:
Klemmer, Lucas; Gurtner, Sonja; Grosse, Daniel
Konferenz:
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
Autoren:
Heermann, Hagen; Grimm, Christoph
Konferenz:
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
Autoren:
Demirhan Coskun, Ece Nur; Hassan, Muhammad; Drechsler, Rolf
Konferenz:
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
Autoren:
Luchterhandt, Lars; Nellius, Tom; Beck, Robert; Doemer, Rainer; Kneuper, Pascal; Mueller, Wolfgang; Sadiye, Babak
Konferenz:
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
Autoren:
Roob, Julius; Bhagyanath, Anoop; Schneider, Klaus
Konferenz:
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
Autoren:
Bruns, Niklas; Ahmadi-Pour, Sallar; Tempel, Soeren; Drechsler, Rolf
Konferenz:
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
Autoren:
Schmitz, Philipp; Mueller, Johannes; Bartsch, Christian; Stoffel, Dominik; Kunz, Wolfgang
Konferenz:
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
Autoren:
Fattohi, Iwan Feras; Prehofer, Christian; Slomka, Frank
Konferenz:
MBMV 2023 – Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 26. Workshop