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.
| Originalsprog | Engelsk |
|---|---|
| Titel | 2012 International Symposium on Electronic System Design (ISED) |
| Antal sider | 5 |
| Forlag | IEEE |
| Publikationsdato | 1 jan. 2012 |
| Sider | 6-10 |
| ISBN (Trykt) | 978-1-4673-4704-4 |
| DOI | |
| Status | Udgivet - 1 jan. 2012 |
| Begivenhed | International Symposium on Electronic System Design (ISED), 2012 - Varighed: 19 dec. 2012 → 22 dec. 2012 |
Konference
| Konference | International Symposium on Electronic System Design (ISED), 2012 |
|---|---|
| Periode | 19/12/2012 → 22/12/2012 |