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

  • Towards ML-based Performance Estimation of Embedded Software: A RISC-V Case Study (2024)

    Authors: Weiyan Zhang, Muhammad Hassan, Rolf Drechsler

    Published at: MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop

  • Towards Completeness: Security Coverage Metrics for System Level Information Flow (2024)

    Authors: Ece Nur Demirhan Coşkun, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler

    Published at: MBMV 2024: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 27. Workshop

  • Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences (2024)

    Authors: Jan Zielasko, Rune Krauss, Marcel Merten, Rolf Drechsler

    Published at: Proceedings - 2024 27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2024
    DOI: 10.1109/DDECS60919.2024.10508913

  • 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
    DOI: 10.1109/TCSI.2024.3388256

  • Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic (2024)

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

    Published at: Proceedings of the IEEE International Conference on VLSI Design
    DOI: 10.1109/VLSID60093.2024.00102

  • A Dynamic Programming Based Graph Traversal Approach for Efficient Implementation of Nearest Neighbor Architecture in 2D (2024)

    Authors: Sneha Lahiri, Megha Kesh, Rupsa Mandal, Anirban Bhattacharjee, Sovan Bhattacharya, Dola Sinha, Chandan Bandyopadhyay, Laxmidhar Biswal, Robert Wille, Rolf Drechsler

    Published at: Proceedings of the IEEE International Conference on VLSI Design
    DOI: 10.1109/VLSID60093.2024.00057

  • In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures (2024)

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

    Published at: Proceedings of the IEEE International Conference on VLSI Design
    DOI: 10.1109/VLSID60093.2024.00070

  • Experimental Validation of Memristor-Aided Logic Using 1T1R TaOxRRAM Crossbar Array (2024)

    Authors: Ankit Bende, Simranjeet Singh, Chandan Kumar Jha, Tim Kempen, Felix Cuppers, Christopher Bengel, Andre Zambanini, Dennis Nielinger, Sachin Patkar, Rolf Drechsler, Rainer Waser, Farhad Merchant, Vikas Rana

    Published at: Proceedings of the IEEE International Conference on VLSI Design
    DOI: 10.1109/VLSID60093.2024.00100

  • Security Coverage Metrics for Information Flow at the System Level (2024)

    Authors: Ece Nur Demirhan Coskun, Sallar Ahmadi-Pour, Muhammad Hassan, Rolf Drechsler

    Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
    DOI: 10.1109/ASP-DAC58780.2024.10473835

  • MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory (2024)

    Authors: Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Vikas Rana, Sachin Patkar, Rolf Drechsler, Farhad Merchant

    Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
    DOI: 10.1109/ASP-DAC58780.2024.10473924