SyReC: A programming language for synthesis of reversible circuits

Robert Wille, Sebastian Offermann, Rolf Drechsler

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

28 Scopus citations


Reversible logic serves as a basis for emerging technologies like quantum computing and additionally has applications in low-power design. In particular, since traditional technologies like CMOS are going to reach their limits in the near future, reversible logic has been established as a promising alternative. Thus, in the last years this area started to become intensely studied by researchers. In particular, how to efficiently synthesize complex reversible circuits is an important question. So far, only synthesis approaches are available that rely on Boolean function representations, like e.g. truth tables or decision diagrams. In this paper, we propose the programming language SyReC that allows to specify and afterwards to automatically synthesize reversible circuits. Using an existing programming language for reversible software design as basis, we introduce new concepts, operations, and restrictions allowing the specification of reversible hardware. Furthermore, a hierarchical approach is presented that automatically transforms the respective statements and operations of the new programming language into a reversible circuit. Experiments show that with the proposed method, complex circuits can be easily specified and synthesized while with previous approaches this often is not possible due to the limits caused by truth tables or decision diagrams.

Original languageEnglish
Title of host publication2010 Forum on Specification and Design Languages, FDL 2010
Number of pages6
StatePublished - 2010
Externally publishedYes
Event2010 Forum on Specification and Design Languages, FDL 2010 - Southampton, United Kingdom
Duration: 14 Sep 201016 Sep 2010

Publication series

NameIET Seminar Digest


Conference2010 Forum on Specification and Design Languages, FDL 2010
Country/TerritoryUnited Kingdom


Dive into the research topics of 'SyReC: A programming language for synthesis of reversible circuits'. Together they form a unique fingerprint.

Cite this