Rolf Drechsler

ORCID

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 404

Top Venues

Goethe University Frankfurt am Main (PHD)

Education History

Goethe University Frankfurt am Main

PHD

Publications

Milan Funck, Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
Identification of ISA-Level Mutation-Classes for Qualification of RISC-V Formal Verification. FDL (2023)
Payam Habiby, Sebastian Huhn, Rolf Drechsler
RC-IJTAG: A Methodology for Designing Remotely-Controlled IEEE 1687 Scan Networks. DFT (2023)
Sallar Ahmadi-Pour, Pascal Pieper, Rolf Drechsler
Virtual-Peripheral-in-the-Loop : A Hardware-in-the-Loop Strategy to Bridge the VP/RTL Design-Gap. CoRR (2023)
Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta, Rolf Drechsler
Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. RC (2023)
Chandan Kumar Jha, Rolf Drechsler
Benchmarking Multiplier Architectures for MAGIC Based In-Memory Computing. NEWCAS (2023)
Simranjeet Singh, Omar Ghazal, Chandan Kumar Jha, Vikas Rana, Rolf Drechsler, Rishad A. Shafik, Alex Yakovlev, Sachin B. Patkar, Farhad Merchant
Finite State Automata Design using 1T1R ReRAM Crossbar. NEWCAS (2023)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT. IEEE Internet Things J. 10 (11) (2023)
Payam Habiby, Natalia Lylina, Chih-Hao Wang, Hans-Joachim Wunderlich, Sebastian Huhn, Rolf Drechsler
Synthesis of IJTAG Networks for Multi-Power Domain Systems on Chips. ETS (2023)
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. FDL (2023)
Sajjad Parvin, Mehran Goli, Frank Sill Torres, Rolf Drechsler
FELOPi: A Framework for Simulation and Evaluation of Post-Layout File Against Optical Probing. DATE (2023)
Ankit Bende, Simranjeet Singh, Chandan Kumar Jha, Tim Kempen, Felix Cüppers, Christopher Bengel, Andre Zambanini, Dennis Nielinger, Sachin B. Patkar, Rolf Drechsler, Rainer Waser, Farhad Merchant, Vikas Rana
Experimental Validation of Memristor-Aided Logic Using 1T1R TaOx RRAM Crossbar Array. CoRR (2023)
Kamalika Datta, Arighna Deb, Fatemeh Shirinzadeh, Abhoy Kole, Saeideh Shirinzadeh, Rolf Drechsler
Verification of In-Memory Logic Design using ReRAM Crossbars. NEWCAS (2023)
Jens Trommer, N. Bhattacharjee, Thomas Mikolajick, S. Huhn, Marcel Merten, M. E. Djeridane, Muhammad Hassan, Rolf Drechsler, S. Rai, N. Kavand, A. Darjani, A. Kumar, V. Sessi, M. Drescher, S. Kolodinski, M. Wiatr
Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors. DATE (2023)
Ece Nur Demirhan Coskun, Muhammad Hassan, Mehran Goli, Rolf Drechsler
VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking. ISQED (2023)
Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler
Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars. ASP-DAC (2023)
Marcel Merten, Sebastian Huhn, Rolf Drechsler
Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods. ETS (2023)
Christopher A. Metz, Mehran Goli, Rolf Drechsler
Fast and Accurate: Machine Learning Techniques for Performance Estimation of CNNs for GPGPUs. IPDPS Workshops (2023)
Marcel Merten, Rune Krauss, Rolf Drechsler
Scalable Neuroevolution of Ensemble Learners. GECCO Companion (2023)
Sajjad Parvin, Mehran Goli, Frank Sill Torres, Rolf Drechsler
Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans - A RISC-V Case Study. ASP-DAC (2023)
Jan Zielasko, Rolf Drechsler
Virtual Prototype Driven Application Specific Hardware Optimization. FDL (2023)
Abhoy Kole, Arighna Deb, Kamalika Datta, Rolf Drechsler
Extending the Design Space of Dynamic Quantum Circuits for Toffoli based Network. DATE (2023)
Lennart Weingarten, Kamalika Datta, Rolf Drechsler
PolyMiR: Polynomial Formal Verification of the MicroRV32 Processor. NANOARCH (2023)
Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Floating Point Adders. DATE (2023)
Simranjeet Singh, Omar Ghazal, Chandan Kumar Jha, Vikas Rana, Rolf Drechsler, Rishad A. Shafik, Alex Yakovlev, Sachin Patkar, Farhad Merchant
Finite State Automata Design using 1T1R ReRAM Crossbar. CoRR (2023)
Rune Krauss, Mehran Goli, Rolf Drechsler
Efficient Binary Decision Diagram Manipulation by Reducing the Number of Intermediate Nodes. DDECS (2023)
Rolf Drechsler, Martha Schnieber
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. MEMOCODE (2023)
Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine. Applicable Formal Methods for Safe Industrial Products (2023)
Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Phrangboklang Lyngton Thangkhiew, Vikas Rana, Sachin B. Patkar, Rolf Drechsler, Farhad Merchant
Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style. CoRR (2023)
Lennart Weingarten, Alireza Mahzoon, Mehran Goli, Rolf Drechsler
Polynomial Formal Verification of a Processor: A RISC-V Case Study. ISQED (2023)
Martha Schnieber, Rolf Drechsler
Polynomial Formal Verification of KFDD Circuits. MEMOCODE (2023)
Sajjad Parvin, Mehran Goli, Thilo Krachenfels, Shahin Tajik, Jean-Pierre Seifert, Frank Sill Torres, Rolf Drechsler
LAT-UP: Exposing Layout-Level Analog Hardware Trojans Using Contactless Optical Probing. ISVLSI (2023)
Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler
MARADIV: Library of MAGIC-Based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors. IEEE Trans. Circuits Syst. II Express Briefs 70 (7) (2023)
Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Vikas Rana, Sachin B. Patkar, Rolf Drechsler, Farhad Merchant
MemSPICE: Automated Simulation and Energy Estimation Framework for MAGIC-Based Logic-in-Memory. CoRR (2023)
Tim Meywerk, Vladimir Herdt, Rolf Drechsler
Coverage-Guided Fuzzing for Plan-Based Robotics. ICAART (2) (2023)
Rune Krauss, Mehran Goli, Rolf Drechsler
EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation. ASP-DAC (2023)
Simranjeet Singh, Chandan Kumar Jha, Ankit Bende, Phrangboklang Lyngton Thangkhiew, Vikas Rana, Sachin B. Patkar, Rolf Drechsler, Farhad Merchant
Should We Even Optimize for Execution Energy? Rethinking Mapping for MAGIC Design Style. IEEE Embed. Syst. Lett. 15 (4) (2023)
Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler
Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design. FDL (2023)
Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture. RC (2023)
Kamalika Datta, Arighna Deb, Abhoy Kole, Rolf Drechsler
Impact of sneak paths on in-memory logic design in memristive crossbars. it Inf. Technol. 65 (1-2) (2023)
Christina Plump, Bernhard J. Berger, Rolf Drechsler
Repetitive Processes and Their Surrogate-Model Congruent Encoding for Evolutionary Algorithms - A Theoretic Proposal. GECCO Companion (2023)
Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler
Equivalence Checking of System-Level and SPICE-Level Models of Static Nonlinear Circuits. DATE (2023)
Rolf Drechsler, Alireza Mahzoon
Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits. ISDCS (2023)
Sana Hassan Imam, Christopher A. Metz, Lars Hornuf, Rolf Drechsler
Classifying Crowdsouring Platform Users' Engagement Behaviour using Machine Learning and XAI. MuC (Workshopband) (2023)
Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Processor Verification using Symbolic Execution: A RISC-V Case-Study. DATE (2023)
Sajjad Parvin, Sallar Ahmadi-Pour, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler
Lo-RISK: Design of a Low Optical Leakage and High Performance RISC-V Core. COINS (2023)
Marcel Merten, Muhammad Hassan, Rolf Drechsler
Quality Assessment of Logic Locking Mechanisms using Pseudo-Boolean Optimization Techniques. DDECS (2023)
Rolf Drechsler, Alireza Mahzoon
Divide and Verify: Using a Divide-and-Conquer Strategy for Polynomial Formal Verification of Complex Circuits. DATE (2023)
Niklas Bruns, Vladimir Herdt, Rolf Drechsler
Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification. FDL (2022)
Saman Fröhlich, Rolf Drechsler
Unlocking approximation for in-memory computing with Cartesian genetic programming and computer algebra for arithmetic circuits. it Inf. Technol. 64 (3) (2022)
Weiyan Zhang, Mehran Goli, Rolf Drechsler
Early Performance Estimation of Embedded Software on RISC-V Processor using Linear Regression. DDECS (2022)
Sallar Ahmadi-Pour, Vladimir Herdt, Rolf Drechsler
The MicroRV32 framework: An accessible and configurable open source RISC-V cross-level platform for education and research. J. Syst. Archit. 133 (2022)
Christopher A. Metz, Mehran Goli, Rolf Drechsler
Towards Neural Hardware Search: Power Estimation of CNNs for GPGPUs with Dynamic Frequency Scaling. MLCAD (2022)
Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
Nearest Neighbor Mapping of Quantum Circuits to Two-Dimensional Hexagonal Qubit Architecture. ISMVL (2022)
Wolfgang Ecker, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz
The Scale4Edge RISC-V Ecosystem. DATE (2022)
Kamalika Datta, Saman Fröhlich, Saeideh Shirinzadeh, Dev Narayan Yadav, Indranil Sengupta, Rolf Drechsler
Unlocking High Resolution Arithmetic Operations within Memristive Crossbars for Error Tolerant Applications. VLSI-SoC (2022)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Polynomial Formal Verification of Approximate Functions. ISVLSI (2022)
Christopher A. Metz, Mehran Goli, Rolf Drechsler
ML-based Power Estimation of Convolutional Neural Networks on GPGPUs. DDECS (2022)
Rolf Drechsler, Alireza Mahzoon
Preserving Design Hierarchy Information for Polynomial Formal Verification. VLSI-SoC (2022)
Rolf Drechsler, Alireza Mahzoon, Mehran Goli
Towards Polynomial Formal Verification of Complex Arithmetic Circuits. DDECS (2022)
Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler
Lower Bound Proof for the Size of BDDs representing a Shifted Addition. CoRR (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
Automated Detection of Spatial Memory Safety Violations for Constrained Devices. ASP-DAC (2022)
Alireza Mahzoon, Daniel Große, Christoph Scholl, Alexander Konrad, Rolf Drechsler
Formal verification of modular multipliers using symbolic computer algebra and boolean satisfiability. DAC (2022)
Kemal Çaglar Coskun, Muhammad Hassan, Rolf Drechsler
Equivalence Checking of System-Level and SPICE-Level Models of Linear Analog Filters. DDECS (2022)
Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler
Divider Verification Using Symbolic Computer Algebra and Delayed Don't Care Optimization. FMCAD (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. ATVA (2022)
Saman Fröhlich, Rolf Drechsler
LiM-HDL: HDL-Based Synthesis for In-Memory Computing. DATE (2022)
Saman Fröhlich, Saeideh Shirinzadeh, Rolf Drechsler
Parallel Computing of Graph-based Functions in ReRAM. ACM J. Emerg. Technol. Comput. Syst. 18 (2) (2022)
Tim Meywerk, Arthur Niedzwiecki, Vladimir Herdt, Rolf Drechsler
Simulation-Based Debugging of Formal Environment Models. MED (2022)
Mehran Goli, Rolf Drechsler
Simulation-based Verification of SystemC-based VPs at the ESL. CoRR (2022)
Niklas Bruns, Vladimir Herdt, Eyck Jentzsch, Rolf Drechsler
Cross-Level Processor Verification via Endless Randomized Instruction Stream Generation with Coverage-guided Aging. DATE (2022)
Christina Plump, Bernhard J. Berger, Rolf Drechsler
Adapting mutation and recombination operators to range-aware relations in real-world application data. GECCO Companion (2022)
Görschwin Fey, Martin Fränzle, Rolf Drechsler
Self-Explanation in Systems of Systems. RE Workshops (2022)
Sajjad Parvin, Thilo Krachenfels, Shahin Tajik, Jean-Pierre Seifert, Frank Sill Torres, Rolf Drechsler
Toward Optical Probing Resistant Circuits: A Comparison of Logic Styles and Circuit Design Techniques. ASP-DAC (2022)
Martha Schnieber, Saman Fröhlich, Rolf Drechsler
Polynomial Formal Verification of Approximate Adders. DSD (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing. IEEE Embed. Syst. Lett. 14 (4) (2022)
Kamalika Datta, Abhoy Kole, Indranil Sengupta, Rolf Drechsler
Mapping Quantum Circuits to 2-Dimensional Quantum Architectures. GI-Jahrestagung (2022)
Alireza Mahzoon, Daniel Große, Rolf Drechsler
RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (5) (2022)
Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler
SAT-based Exact Synthesis of Ternary Reversible Circuits using a Functionally Complete Gate Library. DSD (2022)
Christina Plump, Bernhard J. Berger, Rolf Drechsler
Using density of training data to improve evolutionary algorithms with approximative fitness functions. CEC (2022)
Alexander Fratzer, Vladimir Herdt, Christoph Lüth, Rolf Drechsler
Virtual Prototype based Analysis of Neural Network Cache Behavior for Tiny Edge Device. FDL (2022)
Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler
3D Visualization of Symbolic Execution Traces. FDL (2022)
Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler
Verifying SystemC TLM peripherals using modern C++ symbolic execution tools. DAC (2022)
Sebastian Huhn, Rolf Drechsler
Next Generation Design For Testability, Debug and Reliability Using Formal Techniques. ITC (2022)
Mehran Goli, Rolf Drechsler
Through the Looking Glass: Automated Design Understanding of SystemC-Based VPs at the ESL. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (4) (2022)
Dev Narayan Yadav, Phrangboklang Lyngton Thangkhiew, Kamalika Datta, Sandip Chakraborty, Rolf Drechsler, Indranil Sengupta
Feed-Forward learning algorithm for resistive memories. J. Syst. Archit. 131 (2022)
Philipp Niemann, Rolf Drechsler
Polynomial-Time Formal Verification of Adder Circuits for Multiple-Valued Logic. ISMVL (2022)
Milan Funck, Vladimir Herdt, Rolf Drechsler
Virtual Prototype driven Design, Implementation and Evaluation of RISC-V Instruction Set Extensions. DDECS (2022)
Saman Fröhlich, Rolf Drechsler
Generation of Verified Programs for In-Memory Computing. DSD (2022)
Niklas Bruns, Vladimir Herdt, Daniel Große, Rolf Drechsler
Efficient Cross-Level Processor Verification using Coverage-guided Fuzzing. ACM Great Lakes Symposium on VLSI (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware. J. Syst. Archit. 126 (2022)
Alireza Mahzoon, Rolf Drechsler
Polynomial Formal Verification of Complex Multipliers. MBMV (2022)
Kamalika Datta, Saeideh Shirinzadeh, Phrangboklang Lyngton Thangkhiew, Indranil Sengupta, Rolf Drechsler
Unlocking Sneak Path Analysis in Memristor Based Logic Design Styles. DSD (2022)
Weiyan Zhang, Mehran Goli, Alireza Mahzoon, Rolf Drechsler
ANN-based Performance Estimation of Embedded Software for RISC-V Processors. RSP (2022)
Robert Wille, Rolf Drechsler
Introduction to the Special Issue on Design Automation for Quantum Computing. ACM J. Emerg. Technol. Comput. Syst. 18 (1) (2022)
Rolf Drechsler
Fast and Exact is Doable: Polynomial Algorithms in Test and Verification. LATS (2022)
F. Lalchhandama, Kamalika Datta, Sandip Chakraborty, Rolf Drechsler, Indranil Sengupta
CoMIC: Complementary Memristor based in-memory computing in 3D architecture. J. Syst. Archit. 126 (2022)
Marcel Merten, Sebastian Huhn, Rolf Drechsler
Quality Assessment of RFET-based Logic Locking Protection Mechanisms using Formal Methods. ETS (2022)
Marcel Merten, Sebastian Huhn, Rolf Drechsler
A Hardware-based Evolutionary Algorithm with Multi-Objective Optimization Operators for On-Chip Transient Fault Detection. VTS (2022)
Vladimir Herdt, Rolf Drechsler
Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges. Sci. China Inf. Sci. 65 (1) (2022)
Dev Narayan Yadav, Phrangboklang Lyngton Thangkhiew, Kamalika Datta, Sandip Chakraborty, Rolf Drechsler, Indranil Sengupta
FAMCroNA: Fault Analysis in Memristive Crossbars for Neuromorphic Applications. J. Electron. Test. 38 (2) (2022)

Rolf Drechsler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rolf Drechsler