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

  • Determining the Effect of Feedback Quality on User Engagement on Online Idea Crowdsourcing Platforms Using an AI model (2024)

    Authors: Sana Hassan Imam, Christopher A. Metz, Lars Hornuf, Rolf Drechsler

    Published at: Proceedings of the ACM on Human-Computer Interaction (Volume: 8)
    DOI: 10.1145/3686915

  • Lower the RISC: Designing optical-probing-attack-resistant cores (2024)

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

    Published at: Microprocessors and Microsystems (Volume: 111)
    DOI: 10.1016/j.micpro.2024.105121

  • Polynomial Formal Verification of Arithmetic Circuits (2024)

    Authors: Alireza Mahzoon, Rolf Drechsler

    Published at: Foundations and Trends in Electronic Design Automation (Volume: 14)
    DOI: 10.1561/1000000059

  • ReSG: A Data Structure for Verification of Majority-based In-memory Computing on ReRAM Crossbars (2024)

    Authors: Kousik Bhunia, Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler

    Published at: ACM Transactions on Embedded Computing Systems (Volume: 23)
    DOI: 10.1145/3615358

  • AutoBench: Automatic Testbench Generation and Evaluation Using LLMs for HDL Design (2024)

    Authors: Ruidi Qiu, Grace Li Zhang, Rolf Drechsler, Ulf Schlichtmann, Bing Li

    Published at: MLCAD 2024 - Proceedings of the 2024 ACM/IEEE International Symposium on Machine Learning for CAD
    DOI: 10.1145/3670474.3685956

  • Early SoCs Information Flow Policies Validation Using SystemC-Based Virtual Prototypes at the ESL (2024)

    Authors: Mehran Goli, Rolf Drechsler

    Published at: ACM Transactions on Embedded Computing Systems (Volume: 23)
    DOI: 10.1145/3544780

  • EvoAl - Codeless Domain-Optimisation (2024)

    Authors: Bernhard Johannes Berger, Christina Plump, Lauren Paul, Rolf Drechsler

    Published at: GECCO 2024 Companion - Proceedings of the 2024 Genetic and Evolutionary Computation Conference Companion
    DOI: 10.1145/3638530.3664154

  • CecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits (2024)

    Authors: Chandan Kumar Jha, Muhammad Hassan, Rolf Drechsler

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

  • Exploring the Potential of Decision Diagrams for Efficient In-Memory Design Verification (2024)

    Authors: Khushboo Qayyum, Abhoy Kole, Kamalika Datta, Muhammad Hassan, Rolf Drechsler

    Published at: Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
    DOI: 10.1145/3649476.3658766

  • Trends and challenges in design of embedded BCH error correction codes in multi-levels NAND flash memory devices (2024)

    Authors: Saeideh Nabipour, Javad Javidan, Rolf Drechsler

    Published at: Memories - Materials, Devices, Circuits and Systems (Volume: 7)
    DOI: 10.1016/j.memori.2024.100099