Lennart Weingarten

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Parallel Processing

Formal Verification

Top Venues

Publications

Lennart Weingarten, Kamalika Datta, Abhoy Kole, Rolf Drechsler
Complete and Efficient Verification for a RISC-V Processor Using Formal Verification. DATE (2024)
Lennart Weingarten, Kamalika Datta, Rolf Drechsler
PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor. NANOARCH (2023)
Lennart Weingarten, Alireza Mahzoon, Mehran Goli, Rolf Drechsler
Polynomial Formal Verification of a Processor: A RISC-V Case Study. ISQED (2023)