Lennart Weingarten

According to our database, Lennart Weingarten authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking.

Abhoy Kole, Mohammed E. Djeridane, Lennart Weingarten, Kamalika Datta, Rolf Drechsler

CoRR, 2024

Complete and Efficient Verification for a RISC-V Processor Using Formal Verification.

Lennart Weingarten, Kamalika Datta, Abhoy Kole, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

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