Ancilla-Quantum Cost Trade-off during Reversible Logic Synthesis using Exclusive Sum-of-Products

TL;DR

This paper introduces a reversible logic synthesis method using ESOP that explores the trade-off between quantum cost and garbage lines, achieving improvements over existing methods and proposing an ancilla-free approach.

Contribution

It presents a new ESOP-based technique for reversible logic synthesis that balances quantum cost and garbage lines, including an ancilla-free synthesis approach.

Findings

Controlled trade-off between quantum cost and garbage lines demonstrated.

Improved quantum cost and gate count in some cases compared to state-of-the-art.

Proposed an ancilla-free synthesis method from ESOP formulations.

Abstract

Emerging technologies with asymptotic zero power dissipation, such as quantum computing, require the logical operations to be done in a reversible manner. In recent years, the problem of synthesizing Boolean functions in the reversible logic domain has gained significant research attention. The efficiency of the synthesis methods is measured in terms of quantum cost, gate cost, garbage lines, logic depth and speed of synthesis. In this paper, we present an approach based on Exclusive sum-of-Products (ESOP), which allows the user to explore the trade-off between quantum cost and garbage lines. The proposed technique adds a new dimension to the reversible logic synthesis solutions. We demonstrate by detailed experiments that controlled improvement in quantum cost and gate count by increasing garbage count can be achieved. In some cases, improved quantum cost and gate count compared to state-of-the-art synthesis methods are reported. Furthermore, we propose a novel rule-based approach to achieve ancilla-free reversible logic synthesis starting from an ESOP formulation.