Skip to main content Skip to main navigation

Robotics Innovation Center

Publications

Page 1 of 10.

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

    Formal Verification of Structurally Complex Multipliers

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

  2. 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 …

  3. 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.

  4. 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.

  5. 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.

  6. 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.

  7. 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.

  8. 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, …

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

    A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS

    In: Design and Verification Conference in Europe (DVCon Europe). Design and Verification Conference Europe (DVCon Europe-2022), December 6-7, 2022.

Contact

Main site in Bremen

Phone: +49 421 17845 0
Fax: +49 421 17845 4150


Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 1
28359 Bremen
Germany