# R. Drechsler

Author pages are created from data sourced from our academic publisher partnerships and public sources.

- Publications
- Influence

RevLib: An Online Resource for Reversible Functions and Reversible Circuits

- R. Wille, D. Große, Lisa Teuber, G. Dueck, R. Drechsler
- Computer Science
- 38th International Symposium on Multiple Valued…
- 22 May 2008

Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, results are often… Expand

BDD-based synthesis of reversible logic for large functions

- R. Wille, R. Drechsler
- Computer Science
- 46th ACM/IEEE Design Automation Conference
- 26 July 2009

Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-power design and… Expand

Formal verification of integer multipliers by combining Gröbner basis with logic reduction

- Amr A. R. Sayed-Ahmed, D. Große, Ulrich Kühne, M. Soeken, R. Drechsler
- Computer Science
- Design, Automation & Test in Europe Conference…
- 14 March 2016

Formal verification utilizing symbolic computer algebra has demonstrated the ability to formally verify large Galois field arithmetic circuits and basic architectures of integer arithmetic circuits.… Expand

Binary Decision Diagrams - Theory and Implementation

- R. Drechsler, B. Becker
- Computer Science, Mathematics
- 17 April 2013

Preface. 1. Introduction. 2. Notations and Definitions. 3. Decision Diagrams. 4. Theoretical Aspects. 5. Minimization of Decision Diagrams: Classical Methods. 6. Minimization Using Symmetries. 7.… Expand

Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques

- D. Große, R. Wille, G. Dueck, R. Drechsler
- Computer Science
- IEEE Transactions on Computer-Aided Design of…
- 1 May 2009

Synthesis of reversible logic has become a very important research area in recent years. Applications can be found in the domain of low-power design, optical computing, and quantum computing. In the… Expand

Synthesis of quantum circuits for linear nearest neighbor architectures

- M. Saeedi, R. Wille, R. Drechsler
- Computer Science, Physics
- Quantum Inf. Process.
- 1 June 2011

While a couple of impressive quantum technologies have been proposed, they have several intrinsic limitations which must be considered by circuit designers to produce realizable circuits. Limited… Expand

RTL-datapath verification using integer linear programming

- R. Brinkmann, R. Drechsler
- Computer Science
- Proceedings of ASP-DAC/VLSI Design . 7th Asia and…
- 7 January 2002

Satisfiability of complex word-level formulas often arises as a problem informal verification of hardware designs described at the register transfer level (RTL). Even though most designs are… Expand

RevKit: A Toolkit for Reversible Circuit Design

- M. Soeken, Stefan Frehse, R. Wille, R. Drechsler
- Computer Science
- J. Multiple Valued Log. Soft Comput.
- 2012

In recent years, research in the domain of reversible circuit design has attracted significant attention leading to many different approaches for e.g. synthesis, optimization, simulation,… Expand

Verifying UML/OCL models using Boolean satisfiability

- M. Soeken, R. Wille, Mirco Kuhlmann, M. Gogolla, R. Drechsler
- Computer Science
- Design, Automation & Test in Europe Conference…
- 8 March 2010

Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesign. Due to shortening… Expand

On Acceleration of SAT-Based ATPG for Industrial Designs

- R. Drechsler, Stephan Eggersglüß, +4 authors D. Tille
- Computer Science, Engineering
- IEEE Transactions on Computer-Aided Design of…
- 1 July 2008

Due to the rapidly growing size of integrated circuits, there is a need for new algorithms for automatic test pattern generation (ATPG). While classical algorithms reach their limit, there have been… Expand