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)
http://www.rolfdrechsler.de/

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

  • Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity (2025)

    Authors: Mohamed Nadeem, Luca Müller, Chandan Kumar Jha, Rolf Drechsler

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

  • Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability (2025)

    Authors: Luca Müller, Rolf Drechsler

    Published at: Microprocessors and Microsystems (Volume: 118)
    DOI: 10.1016/j.micpro.2025.105199

  • LLM-assisted Bug Identification and Correction for Verilog HDL (2025)

    Authors: Khushboo Qayyum, Chandan Kumar Jha, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler

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

  • Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation (2025)

    Authors: Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Published at: Formal Methods in System Design (Volume: 67)
    DOI: 10.1007/s10703-024-00452-3

  • 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

  • qSAT: Design of an Efficient Quantum Satisfiability Solver for Hardware Equivalence Checking (2025)

    Authors: Abhoy Kole, Mohammed Elkacem Djeridane, Lennart Weingarten, Kamalika Datta, Rolf Drechsler

    Published at: ACM Journal on Emerging Technologies in Computing Systems (Volume: 21)
    DOI: 10.1145/3729229

  • FV-LIDAC: Formally Verified Library of Input Data Aware Approximate Arithmetic Circuits (2025)

    Authors: Sallar Ahmadi-Pour, Sajjad Parvin, Chandan Kumar Jha, Rolf Drechsler

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

  • 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