References

MQT SyReC Synthesizer has a strong foundation in peer‑reviewed research. Many of its built‑in algorithms are based on methods published in scientific journals and conferences. For an overview of MQT SyReC Synthesizer and its features, see [1]. If you want to cite this article, please use the following BibTeX entry:

@article{adarsh2022syrecSynthesizer,
  title        = {{SyReC} {Synthesizer}: {An} {MQT} tool for synthesis of reversible circuits},
  author       = {Adarsh, Smaran and Burgholzer, Lukas and Manjunath, Tanmay and Wille, Robert},
  year         = {2022},
  journal      = {Software Impacts},
  publisher    = {Elsevier},
  url          = {https://doi.org/10.1016/j.simpa.2022.100451}
}

MQT SyReC Synthesizer is part of the Munich Quantum Toolkit, which is described in [8]. If you want to cite the Munich Quantum Toolkit, please use the following BibTeX entry:

@inproceedings{mqt,
  title        = {The {{MQT}} Handbook: {{A}} Summary of Design Automation Tools and Software for Quantum Computing},
  shorttitle   = {{The MQT Handbook}},
  author       = {Wille, Robert and Berent, Lucas and Forster, Tobias and Kunasaikaran, Jagatheesan and Mato, Kevin and Peham, Tom and Quetschlich, Nils and Rovara, Damian and Sander, Aaron and Schmid, Ludwig and Schoenberger, Daniel and Stade, Yannick and Burgholzer, Lukas},
  year         = 2024,
  booktitle    = {IEEE International Conference on Quantum Software (QSW)},
  doi          = {10.1109/QSW62656.2024.00013},
  eprint       = {2405.17543},
  eprinttype   = {arxiv},
  addendum     = {A live version of this document is available at \url{https://mqt.readthedocs.io}}
}

A full list of references is given below.

[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].

[5]

Robert Wille, Daniel Große, Lisa Teuber, Gerhard W. Dueck, and Rolf Drechsler. Revlib: an online resource for reversible functions and reversible circuits. In 38th International Symposium on Multiple Valued Logic (ismvl 2008), 220–225. 2008. [PDF].

[6]

Andrew W. Cross, Lev S. Bishop, John A. Smolin, and Jay M. Gambetta. Open quantum assembly language. 2017. [PDF], arXiv:1707.03429.

[7]

Tetsuo Yokoyama and Robert Glück. A reversible programming language and its invertible self-interpreter. In Proceedings of the 2007 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 144–153. Association for Computing Machinery, 2007. [PDF].

[8]

Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schoenberger, Yannick Stade, and Lukas Burgholzer. The MQT handbook: A summary of design automation tools and software for quantum computing. In qsw. 2024. arXiv:2405.17543, doi:10.1109/QSW62656.2024.00013.