Rolf Drechsler

Rolf Drechsler

drechsler@uni-bremen.de
Institution: University of Bremen / DFKI
Department: Institute of Computer Science
Position: Head of the Computer Architecture Group (Uni Bremen), Director Cyber-Physical Systems Group Director (DFKI)

Circuits and System Descriptions, Algorithms and Data Structures, Verification, Test Pattern Generation, New Technologies

  • Lower bound proof for the size of BDDs representing a shifted addition (2025)

    Authors: Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler

    Published at: Information Processing Letters (Volume: 190)
    DOI: 10.1016/j.ipl.2025.106571

  • MESSI: Task Mapping and Scheduling Strategy for FPGA-based Heterogeneous Real-Time Systems (2025)

    Authors: Sallar Ahmadi-Pour, Sangeet Saha, Klaus Mcdonald-Maier, Rolf Drechsler

    Published at: ACM Transactions on Design Automation of Electronic Systems (Volume: 30)
    DOI: 10.1145/3715323

  • Automated polynomial formal verification using generalized binary decision diagram patterns (2025)

    Authors: Martha Schnieber, Rolf Drechsler

    Published at: Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences (Volume: 383)
    DOI: 10.1098/rsta.2023.0390

  • Preserving and Improving Verifiability of Circuits based on Local Transformations (2025)

    Authors: Rolf Drechsler

    Published at: 2025 IEEE 26th Latin American Test Symposium Lats 2025
    DOI: 10.1109/LATS65346.2025.10963945

  • Efficient Evolution of Variable Ordering for Binary Decision Diagram Optimization (2025)

    Authors: Rune Krauss, Rolf Drechsler

    Published at: IEEE Transactions on Evolutionary Computation
    DOI: 10.1109/TEVC.2025.3569778

  • Polynomial Formal Verification of a RISC-V Processor (2025)

    Authors: Lennart Weingarten, Kamalika Datta, Rolf Drechsler

    Published at: IEEE Transactions on Nanotechnology (Volume: 24)
    DOI: 10.1109/TNANO.2025.3548265

  • Late Breaking Results: Towards Efficient Formal Verification of Dot Product Architectures (2025)

    Authors: Lennart Weingarten, Kamalika Datta, Rolf Drechsler

    Published at: Proceedings Design Automation and Test in Europe Date
    DOI: 10.23919/DATE64628.2025.10992946

  • FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself (2025)

    Authors: Rune Krauss, Jan Zielasko, Rolf Drechsler

    Published at: Proceedings Design Automation and Test in Europe Date
    DOI: 10.23919/DATE64628.2025.10992829

  • CrosSym: Cross-Level Verification of SystemC Peripherals using Symbolic Execution (2025)

    Authors: Karl Aaron Rudkowski, Sallar Ahmadi-Pour, Rolf Drechsler

    Published at: Proceedings 2025 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems Ddecs 2025
    DOI: 10.1109/DDECS63720.2025.11006790

  • LLM-assisted Performance Estimation of Embedded Software on RISC-V Processors (2025)

    Authors: Weiyan Zhang, Muhammad Hassan, Rolf Drechsler

    Published at: Proceedings 2025 28th International Symposium on Design and Diagnostics of Electronic Circuits and Systems Ddecs 2025
    DOI: 10.1109/DDECS63720.2025.11006767