Abstract
Reversible logic is a computational model that ensure that no values are discarded or duplicated. This gives the connection to Landauer’s principle if and only if the underlying circuits are garbage-free.
This paper shows how to describe and implement garbage-free reversible logic circuits in an easy and concise way. We use two domain-specific languages that are designed to describe reversible logic at different levels and garbage-free methods to translate between these. This approach relies heavily on programming language technology that is known and used for conventional functional languages. Though the languages ensure reversibility of the logic descriptions, they are not guaranteed to be garbage- free. It is still an important task for the designer to find the correct embeddings.
This paper shows how to describe and implement garbage-free reversible logic circuits in an easy and concise way. We use two domain-specific languages that are designed to describe reversible logic at different levels and garbage-free methods to translate between these. This approach relies heavily on programming language technology that is known and used for conventional functional languages. Though the languages ensure reversibility of the logic descriptions, they are not guaranteed to be garbage- free. It is still an important task for the designer to find the correct embeddings.
| Original language | English |
|---|---|
| Title of host publication | 2012 International Symposium on Electronic System Design (ISED) |
| Number of pages | 5 |
| Publisher | IEEE |
| Publication date | 1 Jan 2012 |
| Pages | 6-10 |
| ISBN (Print) | 978-1-4673-4704-4 |
| DOIs | |
| Publication status | Published - 1 Jan 2012 |
| Event | International Symposium on Electronic System Design (ISED), 2012 - Duration: 19 Dec 2012 → 22 Dec 2012 |
Conference
| Conference | International Symposium on Electronic System Design (ISED), 2012 |
|---|---|
| Period | 19/12/2012 → 22/12/2012 |