
» 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]
|