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…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
