CUFinder

Rolf Drechsler

About Rolf Drechsler

Rolf Drechsler, With an exceptional h-index of 67 and a recent h-index of 37 (since 2020), a distinguished researcher at Universität Bremen, specializes in the field of algorithms, data structures, system design, verification, test.

His recent articles reflect a diverse array of research interests and contributions to the field:

cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits

BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics

Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

Hardware and Environment Modeling

Verification

Security Coverage Metrics for Information Flow at the System Level

MemSPICE: Automated simulation and energy estimation framework for magic-based logic-in-memory

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

Rolf Drechsler Information

University

Position

Professor at Director DFKI Bremen Germany

Citations(all)

21330

Citations(since 2020)

7659

Cited By

16946

hIndex(all)

67

hIndex(since 2020)

37

i10Index(all)

498

i10Index(since 2020)

231

Email

University Profile Page

Google Scholar

Rolf Drechsler Skills & Research Interests

algorithms

data structures

system design

verification

test

Top articles of Rolf Drechsler

cecApprox: Enabling Automated Combinational Equivalence Checking for Approximate Circuits

IEEE Transactions on Circuits and Systems I: Regular Papers

2024/4/22

Chandan Kumar Jha
Chandan Kumar Jha

H-Index: 3

Muhammad Hassan
Muhammad Hassan

H-Index: 1

Rolf Drechsler
Rolf Drechsler

H-Index: 37

BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics

arXiv preprint arXiv:2404.04132

2024/4/5

Tobias Brandt
Tobias Brandt

H-Index: 16

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Improving Virtual Prototype Driven Hardware Optimization by Merging Instruction Sequences

2024/4/3

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Hardware and Environment Modeling

2024/3/26

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Verification

2014

Security Coverage Metrics for Information Flow at the System Level

2024/1/22

Muhammad Hassan
Muhammad Hassan

H-Index: 1

Rolf Drechsler
Rolf Drechsler

H-Index: 37

MemSPICE: Automated simulation and energy estimation framework for magic-based logic-in-memory

2024/1/22

Simranjeet Singh
Simranjeet Singh

H-Index: 11

Chandan Kumar Jha
Chandan Kumar Jha

H-Index: 3

Sachin Patkar
Sachin Patkar

H-Index: 6

Rolf Drechsler
Rolf Drechsler

H-Index: 37

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

2024/1/19

Javad Javidan
Javad Javidan

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

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

2024/1/6

Anirban Bhattacharjee
Anirban Bhattacharjee

H-Index: 1

Robert Wille
Robert Wille

H-Index: 35

Rolf Drechsler
Rolf Drechsler

H-Index: 37

In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures

2024/1/6

Arighna Deb
Arighna Deb

H-Index: 4

Saeideh Shirinzadeh
Saeideh Shirinzadeh

H-Index: 9

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Input Distribution Aware Library of Approximate Adders Based on Memristor-Aided Logic

2024

Chandan Kumar Jha
Chandan Kumar Jha

H-Index: 3

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array

2024/1/6

Simranjeet Singh
Simranjeet Singh

H-Index: 11

Chandan Kumar Jha
Chandan Kumar Jha

H-Index: 3

Sachin Patkar
Sachin Patkar

H-Index: 6

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Optimierung SAT-basiertes Retargeting für eingebettete Kompression

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Schlussfolgerung und Ausblick

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Integrierte Schaltkreise

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Verbesserte Zuverlässigkeit durch formale Techniken

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Eingebettete Kompressionsarchitektur für Testzugang

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Eingebettete Mehrkanal-Testkompression für Tests mit niedriger Pin-Anzahl

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Formale Techniken

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

Rekonfigurierbare TAP-Controller mit eingebetteter Kompression

2024/1/3

Sebastian Huhn
Sebastian Huhn

H-Index: 5

Rolf Drechsler
Rolf Drechsler

H-Index: 37

See List of Professors in Rolf Drechsler University(Universität Bremen)