Publications

Page 1 of 1.

1. Lennart Weingarten; Kamalika Datta; Abhoy Kole; Rolf Drechsler

   Complete and Efficient Verification for a RISC-V Processor using Formal Verification

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2024), March 25-27, Valencia, Spain, 2024.

2. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

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

   In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San …

3. Lennart Weingarten; Kamalika Datta; Rolf Drechsler

   PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor

   In: 18th ACM International Symposium on Nanoscale Architectures (NANOARCH). IEEE / ACM International Symposium on Nanoscale Architectures …

4. Rolf Drechsler; Alireza Mahzoon; Lennart Weingarten

   Polynomial Formal Verification of Arithmetic Circuits

   In: N. Chaki; N. Devarakonda; A. Cortesi; H. Seetha (Hrsg.). Proceedings of International Conference on Computational Intelligence and Data …

• 1