• Publications
  • Influence
RevLib: An Online Resource for Reversible Functions and Reversible Circuits
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 oftenExpand
  • 300
  • 27
  • Open Access
BDD-based synthesis of reversible logic for large functions
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 andExpand
  • 276
  • 22
  • Open Access
Formal verification of integer multipliers by combining Gröbner basis with logic reduction
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
  • 56
  • 16
  • Open Access
Binary Decision Diagrams - Theory and Implementation
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
  • 183
  • 11
  • Open Access
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques
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 theExpand
  • 164
  • 11
Synthesis of quantum circuits for linear nearest neighbor architectures
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. LimitedExpand
  • 123
  • 10
  • Open Access
RTL-datapath verification using integer linear programming
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 areExpand
  • 137
  • 10
  • Open Access
RevKit: A Toolkit for Reversible Circuit Design
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
  • 98
  • 10
  • Open Access
Verifying UML/OCL models using Boolean satisfiability
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 shorteningExpand
  • 137
  • 9
  • Open Access
On Acceleration of SAT-Based ATPG for Industrial Designs
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 beenExpand
  • 99
  • 9