» Polynomial Formal Verification of Complex Multipliers
|
|
|
|
Author:
|
|
Alireza Mahzoon, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Virtual, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
» Simulation-based Verification of SystemC-based VPs at the ESL
|
|
|
|
Author:
|
|
Mehran Goli, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Virtual, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» RISC-V Processor Verification with Coverage-guided Aging
|
|
|
|
Author:
|
|
Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Virtual, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» System Level Verification of Analog/Mixed-Signal Systems using Metamorphic Relations
|
|
|
|
Author:
|
|
Muhammad Hassan and Rolf Drechsler
|
| Workshop: |
|
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Bremerhaven, Germany, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods
|
|
|
|
Author:
|
|
Marcel Merten, Sebastian Huhn and Rolf Drechsler
|
| Workshop: |
|
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Bremerhaven, Germany, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» An ILP-based Global Optimum Test Scheduler for IEEE 1687 Multi-Power Domain Networks
|
|
|
|
Author:
|
|
Payam Habiby, Sebastian Huhn and Rolf Drechsler
|
| Workshop: |
|
34. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Bremerhaven, Germany, 2022
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes
|
|
|
|
Author:
|
|
Sören Tempel, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
4th Workshop on RISC-V Activities |
Reference:
|
| Virtual, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
» Polynomial Formal Verification of Prefix Adders
|
|
|
|
Author:
|
|
Alireza Mahzoon, Rolf Drechsler
|
| Workshop: |
|
International Workshop on Logic & Synthesis (IWLS) |
Reference:
|
| Virtual Conference, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
» Polynomial Formal Verification of Area-efficient and Fast Adders
|
|
|
|
Author:
|
|
Alireza Mahzoon, Rolf Drechsler |
| Workshop: |
|
2021 Reed-Muller Workshop (RM2021) |
Reference:
|
| Nursultan, Kazakhstan, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
Recording:
|
| [Link to the Recording]
|
PDF:
|
| [click here]
|
» MicroRV32: An Open Source RISC-V Cross-Level Platform for Education and Research
|
|
|
|
Author:
|
|
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
Design Automation for CPS and IoT (DESTION) |
Reference:
|
| Nashville, USA, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools
|
|
|
|
Author:
|
|
Alireza Mahzoon, Daniel Große, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| München, Germany, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
» Constrained Random Verification for RISC-V: Overview, Evaluation and Discussion
|
|
|
|
Author:
|
|
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| München, Germany, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» VP-based DIFT for Embedded Binaries: A RISC-V Case Study
|
|
|
|
Author:
|
|
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| München, Germany, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
» MicroRV32: A SpinalHDL based RISC-V Implementation for FPGAs
|
|
|
|
Author:
|
|
Sallar Ahmadi-Pour, Vladimir Herdt and Rolf Drechsler |
| Workshop: |
|
University Booth at Design, Automation and Test in Europe (DATE) |
Reference:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Efficient Techniques to Boost RISC-V Compliance Testing
|
|
|
|
Author:
|
|
Vladimir Herdt and Rolf Drechsler |
| Workshop: |
|
Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE) |
Reference:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
» A Memory-Upscaled Boolean Satisfiability Solver for Complex On-Chip Self-Verification Tasks
|
|
|
|
Author:
|
|
Buse Ustaoglu, Sebastian Huhn and Rolf Drechsler |
| Workshop: |
|
Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE) |
Reference:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Pick the Right Edge Device: Towards Power and Performance Estimation of CUDA-based CNNs on GPGPUs
|
|
|
|
Author:
|
|
Christopher Metz, Mehran Goli, Rolf Drechsler |
| Workshop: |
|
System-level Design Methods for Deep Learning on Heterogeneous Architectures (SLOHA) |
Reference:
|
| Grenoble, France, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» Test Scheduling Optimization Model for IEEE 1687 Multi-Power Domain Networks Using Boolean Satisfiability
|
|
|
|
Author:
|
|
Payam Habiby, Sebastian Huhn and Rolf Drechsler
|
| Workshop: |
|
33. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ) |
Reference:
|
| Nordhausen, Germany, 2021
|
Hyperlink:
|
| [Link to the Workshop]
|
PDF:
|
| [click here]
|
» SAT-based Exact Physical Design for Field-coupled Nanocomputing Technologies
|
|
|
|
Author:
|
|
Marcel Walter, Winston Haaswijk, Robert Wille, Frank Sill Torres, Rolf Drechsler |
| Workshop: |
|
International Workshop on Logic & Synthesis (IWLS) |
Reference:
|
| San Francisco, USA, 2020
|
Hyperlink:
|
| [Link to the Workshop]
|
» Fuzz-Testing RISC-V Simulators
|
|
|
|
Author:
|
|
Vladimir Herdt, Daniel Große, Rolf Drechsler |
| Workshop: |
|
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) |
Reference:
|
| Stuttgart, Germany, 2020
|
Hyperlink:
|
| [Link to the Workshop]
|
