We describe the design of a purely reversible computing architecture, Bob, and its
instruction set, BobISA. The special features of the design include a simple, yet expressive …

Reversible logic is a computational model where all gates are logically reversible and
combined in circuits such that no values are lost or duplicated. This paper presents a novel …

We present an overview and analysis of existing work in the design of online testable
reversible logic circuits, as well as propose new approaches for the design of such circuits …

Quantum information processing is of interest as it offers the potential for a new generation
of very powerful computers supporting novel computational paradigms. Over the last couple …

This PhD dissertation investigates garbage-free reversible computing systems from abstract
design to physical gate-level implementation. Designed in reversible logic, we propose a …

Discrete linear transformations are important tools in information processing. Many such
transforms are injective and therefore prime candidates for a physically reversible …

Multiplication of integers is non-injective and, thus, requires garbage lines for any reversible
logic implementation. However, multiplying with a fixed constant is injective, and should …

Quantum computing and circuits are of growing interest and so is reversible logic as it plays
an important role in the synthesis of circuits dedicated to quantum computation. Moreover …

This paper presents the design of a language for the description and optimisation of
reversible logic circuits. The language is a combinator-style functional language designed to …

Quantum computing and circuits are of growing interest and so is reversible logic as it plays
an important role in the synthesis of quantum circuits. Moreover, reversible logic provides an …