Enhanced Virtual Prototyping : Featuring RISC-V Case Studies

by Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
Published 2021

Exact Design of Digital Microfluidic Biochips

by Keszocze, Oliver, Wille, Robert, Drechsler, Rolf
Published 2019

Design Automation Techniques for Approximation Circuits : Verification, Synthesis and Test

by Chandrasekharan, Arun, Große, Daniel, Drechsler, Rolf
Published 2019

Test Pattern Generation using Boolean Proof Engines

by Drechsler, Rolf, Eggersglüß, Stephan, Fey, Görschwin, Tille, Daniel
Published 2009

Languages, Design Methods, and Tools for Electronic System Design : Selected Contributions from FDL 2015

Published 2016

Robustness and Usability in Modern Design Flows

by Fey, Görschwin, Drechsler, Rolf
Published 2008

High Quality Test Pattern Generation and Boolean Satisfiability

by Eggersglüß, Stephan, Drechsler, Rolf
Published 2012

Advanced BDD Optimization

by Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Published 2005

Reversible and Quantum Circuits : Optimization and Complexity Analysis

by Abdessaied, Nabila, Drechsler, Rolf
Published 2016

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

Automated Analysis of Virtual Prototypes at the Electronic System Level : Design Understanding and Applications

by Goli, Mehran, Drechsler, Rolf
Published 2020

Natural Language Processing for Electronic Design Automation

Published 2020

Advanced Boolean Techniques : Selected Papers from the 13th International Workshop on Boolean Problems

Published 2020

Design Automation for Field-coupled Nanotechnologies

by Walter, Marcel, Wille, Robert, Sill Torres, Frank, Drechsler, Rolf
Published 2022

Enhanced Virtual Prototyping for Heterogeneous Systems

by Hassan, Muhammad, Große, Daniel, Drechsler, Rolf
Published 2023

In-Memory-Computing : Synthese und Optimierung

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2023

Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme : Design, Verständnis und Anwendungen

by Goli, Mehran, Drechsler, Rolf
Published 2023

Verbessertes virtuelles Prototyping : Mit RISC-V-Fallstudien

by Herdt, Vladimir, Große, Daniel, Drechsler, Rolf
Published 2022

Formal Verification of Structurally Complex Multipliers

by Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Published 2023

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

by Przigoda, Nils, Wille, Robert, Przigoda, Judith, Drechsler, Rolf
Published 2018