White dots do matter: rewriting reversible logic circuits

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The increased effort in recent years towards methods for computer aided design of reversible logic circuits has also lead to research in algorithms for optimising the resulting circuits; both with higher-level data structures and directly on the reversible circuits. To obtain structural patterns that can be replaced by a cheaper realisation, many direct algorithms apply so-called moving rules; a simple form of rewrite rules that can only swap gate order.
In this paper we first describe the few basic rules that are needed to perform rewriting directly on reversible logic circuits made from general Toffoli circuits. We also show how to use these rules to derive more complex formulas. The major difference compared to existing approaches is the use of negative controls (white dots), which significantly increases the algebraic strength. We show how existing optimisation approaches can be adapted as problems based on our rewrite rules.
Finally, we outline a path to generalising the rewrite rules by showing their forms for reversible control-gates. This can be used to expand our method to other gates such as the controlled-swap gate or quantum gates.
Original languageEnglish
Title of host publicationReversible Computation : 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings
EditorsGerhard W. Dueck, D. Michael Miller
Number of pages13
PublisherSpringer
Publication date2013
Pages196-208
ISBN (Print)978-3-642-38985-6
ISBN (Electronic)978-3-642-38986-3
DOIs
Publication statusPublished - 2013
Event5th International Conference on Reversible Computation - Victoria, Canada
Duration: 4 Jul 20135 Jul 2013
Conference number: 5

Conference

Conference5th International Conference on Reversible Computation
Nummer5
LandCanada
ByVictoria
Periode04/07/201305/07/2013
SeriesLecture notes in computer science
Volume7948
ISSN0302-9743

ID: 48909326