SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

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 recent years, scalable synthesis of has gained significant attention. this work, we present SyReC Synthesizer, a tool reversible based on hardware description language SyReC. allows to describe functionality at high level abstraction. The provided Synthesizer then realizes in push-button fashion. Corresponding options allow trade-off between number needed circuit signals/lines (relevant, e.g., computing which every line corresponds qubit) respectively gates (corresponding circuit's costs). Furthermore, simulate resulting well determine gate costs it. is available an open-source software package https://github.com/cda-tum/syrec part Munich Quantum Toolkit (MQT).