Lennart Weingarten

According to our database, Lennart Weingarten authored at least 2 papers in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor.

Lennart Weingarten, Kamalika Datta, Rolf Drechsler

Proceedings of the 18th ACM International Symposium on Nanoscale Architectures, 2023

Polynomial Formal Verification of a Processor: A RISC-V Case Study.

Lennart Weingarten, Alireza Mahzoon, Mehran Goli, Rolf Drechsler

Proceedings of the 24th International Symposium on Quality Electronic Design, 2023