SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

TL;DR

The paper introduces the SyReC Synthesizer, an open-source tool for high-level synthesis of reversible circuits, enabling trade-offs between circuit lines and gates, with simulation and cost analysis features, supporting emerging quantum and low-power technologies.

Contribution

It presents a novel high-level synthesis tool for reversible circuits based on SyReC, facilitating scalable design, simulation, and cost evaluation in a user-friendly manner.

Findings

Supports trade-offs between circuit lines and gates.

Enables simulation and cost analysis of synthesized circuits.

Open-source implementation integrated into Munich Quantum Toolkit.

Abstract

Reversible circuits form the backbone for many promising emerging technologies such as quantum computing, low power/adiabatic design, encoder/decoder devices, and several other applications. In the recent years, the scalable synthesis of such circuits has gained significant attention. In this work, we present the SyReC Synthesizer, a synthesis tool for reversible circuits based on the hardware description language SyReC. SyReC allows to describe reversible functionality at a high level of abstraction. The provided SyReC Synthesizer then realizes this functionality in a push-button fashion. Corresponding options allow for a trade-off between the number of needed circuit signals/lines (relevant, e.g., for quantum computing in which every circuit line corresponds to a qubit) and the respectively needed gates (corresponding to the circuit's costs). Furthermore, the tool allows to simulate the resulting circuit as well as to determine the gate costs of it. The SyReC Synthesizer is available as an open-source software package at https://github.com/cda-tum/syrec as part of the Munich Quantum Toolkit (MQT).