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

Published 2016

Reversible and Quantum Circuits : Optimization and Complexity Analysis

by Abdessaied, Nabila, Drechsler, Rolf
Published 2016

Debugging at the Electronic System Level

by Rogin, Frank, Drechsler, Rolf
Published 2010

Towards a Design Flow for Reversible Logic

by Wille, Robert, Drechsler, Rolf
Published 2010

Test Pattern Generation using Boolean Proof Engines

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

Quality-Driven SystemC Design

by Große, Daniel, Drechsler, Rolf
Published 2010

In-Memory Computing : Synthesis and Optimization

by Shirinzadeh, Saeideh, Drechsler, Rolf
Published 2020

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

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

Natural Language Processing for Electronic Design Automation

Published 2020

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

by Goli, Mehran, Drechsler, Rolf
Published 2020

Robustness and Usability in Modern Design Flows

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

Advanced BDD Optimization

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

Evolutionary Algorithms for VLSI CAD

by Drechsler, Rolf
Published 1998

Binary Decision Diagrams : Theory and Implementation

by Drechsler, Rolf, Becker, Bernd
Published 1998

Evolutionary Algorithms for Embedded System Design

Published 2003

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

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

Automatic Methods for the Refinement of System Models : From the Specification to the Implementation

by Seiter, Julia, Wille, Robert, Drechsler, Rolf
Published 2017

Exact Design of Digital Microfluidic Biochips

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

Formal System Verification : State-of the-Art and Future Trends

Published 2018

Advanced Logic Synthesis

Published 2018