Segui
Lennart Weingarten
Lennart Weingarten
Email verificata su uni-bremen.de
Titolo
Citata da
Citata da
Anno
Polynomial formal verification of arithmetic circuits
R Drechsler, A Mahzoon, L Weingarten
Proceedings of International Conference on Computational Intelligence and …, 2022
172022
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
52024
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
32023
PolyMir: Polynomial Formal Verification of the MicroRV32 Processor
L Weingarten, K Datta, R Drechsler
Proceedings of the 18th ACM International Symposium on Nanoscale …, 2023
22023
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–5