Welcome to the InfoSci Platform
Reference Hub6
BDD-Based Synthesis of Reversible Logic

BDD-Based Synthesis of Reversible Logic

Robert Wille, Rolf Drechsler
Copyright: © 2010 |Volume: 1 |Issue: 4 |Pages: 17
ISSN: 1947-8283|EISSN: 1947-8291|EISBN13: 9781613502716|DOI: 10.4018/jamc.2010100102
Cite Article Cite Article

MLA

Wille, Robert, and Rolf Drechsler. "BDD-Based Synthesis of Reversible Logic." IJAMC vol.1, no.4 2010: pp.25-41. http://doi.org/10.4018/jamc.2010100102

APA

Wille, R. & Drechsler, R. (2010). BDD-Based Synthesis of Reversible Logic. International Journal of Applied Metaheuristic Computing (IJAMC), 1(4), 25-41. http://doi.org/10.4018/jamc.2010100102

Chicago

Wille, Robert, and Rolf Drechsler. "BDD-Based Synthesis of Reversible Logic," International Journal of Applied Metaheuristic Computing (IJAMC) 1, no.4: 25-41. http://doi.org/10.4018/jamc.2010100102

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

Reversible logic became a promising alternative to traditional circuits because of its applications in emerging technologies such as quantum computing, low-power design, DNA computing, or nanotechnologies. As a result, synthesis of the respective circuits is an intensely studied topic. However, most synthesis methods are limited, because they rely on a truth table representation of the function to be synthesized. In this paper, the authors present a synthesis approach that is based on Binary Decision Diagrams (BDDs). The authors propose a technique to derive reversible or quantum circuits from BDDs by substituting all nodes of the BDD with a cascade of Toffoli or quantum gates, respectively. Boolean functions containing more than a hundred of variables can efficiently be synthesized. More precisely, a circuit can be obtained from a given BDD using an algorithm with linear worst case behavior regarding run-time and space requirements. Furthermore, using the proposed approach, theoretical results known from BDDs can be transferred to reversible circuits. Experiments show better results (with respect to the circuit cost) and a significantly better scalability in comparison to previous synthesis approaches.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.