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

We present t| ket⟩, a quantum software development platform produced by Cambridge
Quantum Computing Ltd. The heart of t| ket⟩ is a language-agnostic optimising compiler …

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 …

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 …

Quantum circuits are time-dependent diagrams describing the process of quantum
computation. Usually, a quantum algorithm must be mapped into a quantum circuit. Optimal …

Recent developments in engineering and algorithms have made real-world applications in
quantum computing possible in the near future. Existing quantum programming languages …

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 …

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 …

We present certain new techniques for the synthesis of reversible networks of Toffoli gates,
as well as improvements to previous methods. Gate count and technology oriented cost …