Innovative Fabriksysteme

Seite 2 von 10.

1. Muhammad Hassan; Daniel Große; Rolf Drechsler

   System-Level Verification of Linear and Non-Linear Behaviors of RF Amplifiers using Metamorphic Relations

   In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

2. Vladimir Herdt; Sören Tempel; Daniel Große; Rolf Drechsler

   Mutation-based Compliance Testing for RISC-V

   In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

3. Muhammad Hassan; Daniel Große; Rolf Drechsler

   System Level verification of Phase-Locked Loop using Metamorphic Relations

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, virtual, 2021.

4. Christoph Scholl; Alexander Konrad; Alireza Mahzoon; Daniel Große; Rolf Drechsler

   Verifying Dividers Using Symbolic Computer Algebra and Don't Care Optimization

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France, 2021.

5. Rolf Drechsler; Daniel Große

   Recent Findings in Boolean Techniques

   ISBN 978-3-030-68070-1, Springer, 2021.

6. Lucas Klemmer; Saman Fröhlich; Rolf Drechsler; Daniel Große

   XbNN: Enabling CNNs on Edge Devices by Approximate On-Chip Dot Product Encoding

   In: IEEE International Symposium on Circuits & Systems (ISCAS). IEEE International Symposium on Circuits and Systems (ISCAS-2021), May 22-28, Daegue, …

7. Pascal Pieper; Vladimir Herdt; Daniel Große; Rolf Drechsler

   VP-based DIFT for Embedded Binaries: A RISC-V Case Study

   In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop …

8. Alireza Mahzoon; Daniel Große; Rolf Drechsler

   GenMul: Generating Architecturally Complex Multipliers to Challenge Formal Verification Tools

   In: 24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop …

9. Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler

   Adaptive Simulation with Virtual Prototypes in an Open-Source RISC-V Evaluation Platform

   In: Journal of Systems Architecture: Embedded Software Design (JSA), Elsevier, 2021.

10. Niklas Bruns; Vladimir Herdt; Daniel Große; Rolf Drechsler

    Towards RISC-V CSR Compliance Testing

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2021.

• 1
• 2
• 3
• …
• 10
• nächste