Reversible logic circuits have been historically motivated by theoretical research in low-
power electronics as well as practical improvement of bit manipulation transforms in …

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 …

Written by one of the few top internationally recognized experts in the field, this book
concentrates on those topics that will remain fundamental, such as low power computing …

Reversible computation is a heavily investigated emerging technology due to its promising
characteristics in low-power design, its application in quantum computations, and several …

Reversible circuits for modular multiplication $ Cx $% $ M $ with $ x< M $ arise as
components of modular exponentiation in Shor's quantum number-factoring algorithm …

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

Reversible circuits are an emerging technology where all computations are performed in an
invertible manner. Motivated by their promising applications, eg in the domain of quantum …

Research in the domain of quantum computation is mainly driven by their promising
applications eg, for factorization or database search. At the same time, physical …

The use of binary decision diagrams (BDDs) has proliferated in numerous fields. When a
system criterion is formulated in form of a Boolean function, its BDD is constructed. Each …

We present Approximate BDD Minimization (ABM) as a problem that has application in
approximate computing. Given a BDD representation of a multi-output Boolean function …