Publications

The SyReC Synthesizer is academic software. Thus, many of its built-in algorithms have been published as scientific papers.

If you use the SyReC Synthesizer in your work, we would appreciate if you cited [1].

[1]

Smaran Adarsh, Lukas Burgholzer, Tanmay Manjunath, and Robert Wille. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Software Impacts, 2022. [PDF].

[2]

Robert Wille, Eleonora Schönborn, Mathias Soeken, and Rolf Drechsler. SyReC: a hardware description language for the specification and synthesis of reversible circuits. Integration, 2016. [PDF].

[3]

Robert Wille, Sebastian Offermann, and Rolf Drechsler. SyReC: a programming language for synthesis of reversible circuits. In Forum on Specification & Design Languages. 2010. [PDF].

[4]

Robert Wille, Majid Haghparast, Smaran Adarsh, and Tanmay M. Towards HDL-based synthesis of reversible circuits with no additional lines. In International Conference on Computer Aided Design. 2019. [PDF].