‪Lennart Weingarten‬ - ‪Academic Search‬

Get my own profile

Cited by

	All	Since 2020
Citations	26	26
h-index	3	3
i10-index	1	1

0

8

4

202120222023202420251 7 8 6 4

Public access

2 articles

1 article

available

not available

Based on funding mandates

Co-authors

Rolf DrechslerProfessor at University of Bremen, Director DFKI Bremen, GermanyVerified email at uni-bremen.de
Alireza MahzoonUniversity of BremenVerified email at informatik.uni-bremen.de
Kamalika DattaUniversity of Bremen and DFKIVerified email at uni-bremen.de
Abhoy KoleResearcher, DFKI BremenVerified email at dfki.de
Mehran GoliPhD - Computer Science, University of BremenVerified email at uni-bremen.de

Lennart Weingarten

Lennart Weingarten

University of Bremen

Verified email at uni-bremen.de

Verification Formal Methods RISC-V


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Polynomial formal verification of arithmetic circuits R Drechsler, A Mahzoon, L Weingarten Proceedings of International Conference on Computational Intelligence and …, 2022	17	2022
Complete and efficient verification for a RISC-V processor using formal verification L Weingarten, K Datta, A Kole, R Drechsler 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024	4	2024
Polynomial Formal Verification of a Processor: A RISC-V Case Study L Weingarten, A Mahzoon, M Goli, R Drechsler 2023 24th International Symposium on Quality Electronic Design (ISQED), 1-7, 2023	3	2023
PolyMir: Polynomial Formal Verification of the MicroRV32 Processor L Weingarten, K Datta, R Drechsler Proceedings of the 18th ACM International Symposium on Nanoscale …, 2023	2	2023
qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking A Kole, ME Djeridane, L Weingarten, K Datta, R Drechsler arXiv preprint arXiv:2409.03917, 2024		2024

The system can't perform the operation now. Try again later.

Articles 1–5