A functional language for describing reversible logic
MK Thomsen - Proceeding of the 2012 Forum on Specification …, 2012 - ieeexplore.ieee.org
Reversible logic is a computational model where all gates are logically reversible and
combined in circuits such that no values are lost or duplicated. This paper presents a novel …
combined in circuits such that no values are lost or duplicated. This paper presents a novel …
Describing and optimising reversible logic using a functional language
MK Thomsen - … Symposium on Implementation and Application of …, 2011 - Springer
This paper presents the design of a language for the description and optimisation of
reversible logic circuits. The language is a combinator-style functional language designed to …
reversible logic circuits. The language is a combinator-style functional language designed to …
Ricercar: a language for describing and rewriting reversible circuits with ancillae and its permutation semantics
Abstract Previously, Soeken and Thomsen presented six basic semantics-preserving rules
for rewriting reversible logic circuits, defined using the well-known diagrammatic notation of …
for rewriting reversible logic circuits, defined using the well-known diagrammatic notation of …
A reversible processor architecture and its reversible logic design
We describe the design of a purely reversible computing architecture, Bob, and its
instruction set, BobISA. The special features of the design include a simple, yet expressive …
instruction set, BobISA. The special features of the design include a simple, yet expressive …
[PDF][PDF] An introduction to reversible circuits
I Markov - Proceedings of the 12th International Workshop on …, 2003 - Citeseer
A reversible computation does not change the information content of its input, and is a
permutation of input bit-strings. Reversible logic has been studied since 1980, following a …
permutation of input bit-strings. Reversible logic has been studied since 1980, following a …
Toward an energy efficient language and compiler for (partially) reversible algorithms
We introduce a new programming language for expressing reversibility, Energy-Efficient
Language (Eel), geared toward algorithm design and implementation. Eel is the first …
Language (Eel), geared toward algorithm design and implementation. Eel is the first …
[BOOK][B] Towards a design flow for reversible logic
R Wille, R Drechsler - 2010 - books.google.com
The development of computing machines found great success in the last decades. But the
ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking …
ongoing miniaturization of integrated circuits will reach its limits in the near future. Shrinking …
Garbage collection for reversible functional languages
TÆ Mogensen - … Computation: 7th International Conference, RC 2015 …, 2015 - Springer
Reversible languages are programming languages where all programs can run both
forwards and backwards. Reversible functional languages have been proposed that use …
forwards and backwards. Reversible functional languages have been proposed that use …
SyReC: A programming language for synthesis of reversible circuits
R Wille, S Offermann… - 2010 Forum on …, 2010 - ieeexplore.ieee.org
Reversible logic serves as a basis for emerging technologies like quantum computing and
additionally has applications in low-power design. In particular, since traditional …
additionally has applications in low-power design. In particular, since traditional …
Efficient building blocks for reversible sequential circuit design
Reversible logic is gaining interest in the recent past due to its less heat dissipating
characteristics. It has been proved that any Boolean function can be implemented using …
characteristics. It has been proved that any Boolean function can be implemented using …