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

  • An HDL-centric synthesis and verification approach for RRAM-based neuromorphic systems (2026)

    Authors: Fatemeh Shirinzadeh, Kamalika Datta, Abhoy Kole, Saeideh Shirinzadeh, Rolf Drechsler

    Published at: Microprocessors and Microsystems (Volume: 122)
    DOI: 10.1016/j.micpro.2026.105278

  • Device-to-logic variability propagation in RRAM-based logic-in-memory architectures (2026)

    Authors: Ankit Bende, Simranjeet Singh, Chandan Kumar Jha, Daniele Storelli, Dennis Nielinger, Rolf Drechsler, Regina Dittmann, Stephan Menzel, Farhad Merchant, Vikas Rana

    Published at: Neuromorphic Computing and Engineering (Volume: 6)
    DOI: 10.1088/2634-4386/ae65d5

  • Polynomial Debugging and Fault Correction of Combinational Circuits With Constant Cutwidth (2026)

    Authors: Mohamed Nadeem, Chandan Kumar Jha, Rolf Drechsler

    Published at: IEEE Transactions on Circuits and Systems I Regular Papers (Volume: 73)
    DOI: 10.1109/TCSI.2025.3633991

  • Formally Verifying Multiply-and-Accumulate Architectures Using Symbolic Computer Algebra (2026)

    Authors: Lennart Weingarten, Kamalika Datta, Rolf Drechsler

    Published at: SN Computer Science (Volume: 7)
    DOI: 10.1007/s42979-026-04859-z

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

    Authors: Rune Krauss, Rolf Drechsler

    Published at: IEEE Transactions on Evolutionary Computation (Volume: 30)
    DOI: 10.1109/TEVC.2025.3569778

  • PolyEMAC: Polynomial Error Metrics Analysis in Approximate Computing (2026)

    Authors: Mohamed Nadeem, Chandan Kumar Jha, Rolf Drechsler

    Published at: Proceedings 2026 39th International Conference on VLSI Design and 25th International Conference on Embedded Systems Vlsid 2026
    DOI: 10.1109/VLSID68508.2026.00019

  • DIVIAC: Library of Input Data Aware Approximate Dividers with Partial Exact Minimization (2026)

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

    Published at: Proceedings 2026 39th International Conference on VLSI Design and 25th International Conference on Embedded Systems Vlsid 2026
    DOI: 10.1109/VLSID68508.2026.00031

  • Practicality of MAGIC NOR in a 1T1M Crossbar Array For In-Memory Computing (2026)

    Authors: Lalchhandama, Kamalika Datta, Rolf Drechsler, Sandip Chakraborty, Indranil Sengupta

    Published at: Journal of Circuits Systems and Computers
    DOI: 10.1142/S0218126626501720

  • veriSiM: Formal Verification of SPICE Netlists for MAGIC-Based Logic-in-Memory (2026)

    Authors: Chandan Kumar Jha, Simranjeet Singh, Khushboo Qayyum, Ankit Bende, Muhammad Hassan, Vikas Rana, Farhad Merchant, Rolf Drechsler

    Published at: IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (Volume: 45)
    DOI: 10.1109/TCAD.2025.3583199

  • 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