Embedded Intelligence

Page 1 of 10.

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

   Erweiterte virtuelle Prototypen für heterogene Systeme

   Springer, 2024.

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

   Formal Verification of Structurally Complex Multipliers

   ISBN 978-3-031-24571-8, Springer, 2023.

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

   Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

   In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2023), March 23-24, Freiburg, Germany, 2023.

4. Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

   Toward System-Level Assertions for Heterogeneous Systems

   In: Rolf Drechsler; Sebastian Huhn. Advanced Boolean Techniques. Pages 67-81, Springer, 2023.

5. Vladimir Herdt; Daniel Große; Rolf Drechsler

   Verbessertes virtuelles Prototyping Mit RISC-V-Fallstudien

   Springer Vieweg, 2023.

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

   Formal Verification of Modular Multipliers using Symbolic Computer Algebra and Boolean Satisfiability

   In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC), July 10-14, San Francisco, USA, 2022.

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

   Verifying SystemC TLM Peripherals using Modern C++ Symbolic Execution Tools

   In: 59th Design Automation Conference (DAC). Design Automation Conference (DAC-2022), July 10-14, San Francisco, USA, 2022.

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

   Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing

   In: Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2022), June 6-8, Irvine, USA, 2022.

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

   Divider Verification Using Symbolic Computer Algebra and Delayed Don’t Care Optimization

   In: Formal Methods in Computer-Aided Design (FMCAD). Formal Methods in Computer-Aided Design (FMCAD), October 17-21, Trento, Italy, 2022.

10. Muhammad Hassan; Thilo Voertler; Karsten Einwich; Rolf Drechsler; Daniel Große

    Towards System-level Assertions for Heterogeneous Systems

    In: 15th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2022), September 22-23, Bremen, Germany, 2022.

• 1
• 2
• 3
• …
• 10
• next