Lennart Weingarten

According to our database, Lennart Weingarten authored at least 7 papers between 2023 and 2025.

Collaborative distances:

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

2025

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

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

ACM J. Emerg. Technol. Comput. Syst., April, 2025

Multi-Input MAGIC Synthesis and Verification for In-Memory Computing Design.

Saeideh Nabipour, Kamalika Datta, Lennart Weingarten, Abhoy Kole, Rolf Drechsler

Proceedings of the 55th IEEE International Symposium on Multiple-Valued Logic, 2025

Late Breaking Results: Towards Efficient Formal Verification of Dot Product Architectures.

Lennart Weingarten, Kamalika Datta, Rolf Drechsler

Proceedings of the Design, Automation & Test in Europe Conference, 2025

2024

Towards Polynomial Formal Verification of Neuromorphic Architectures.

Lennart Weingarten, Kamalika Datta, Rolf Drechsler

Proceedings of the 12th International Conference on Intelligent Systems and Embedded Design, 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