Reversible Circuit Synthesis Using Binary Decision Diagrams

被引:0
|
作者
Podlaski, Krzysztof [1 ]
机构
[1] Univ Lodz, Fac Phys & Appl Informat, PL-90131 Lodz, Poland
关键词
reversible computing; reversible circuits design; binary decision diagrams; transformation based algorithm;
D O I
暂无
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Reversible circuit synthesis is an important branch of low power consumption circuit design. The idea of a logic circuit without loss of information during computation has an impact on power consumption and on the other hand makes the use of classical circuit synthesis algorithms not applicable. In the area of reversible circuit design there is still lack of satisfactory algorithms. During last 15 years many heuristic algorithms have been developed, however, they construct circuit implementations which are far from optimal. In the paper a new implementation of the known transformation based algorithm is presented. The existing transformation based algorithms use truth table during computation. This leads to important memory restrictions on the algorithm. On the other hand any Boolean function can be represented using Binary Decision Diagrams (BBD). This representation is more compact and uses less memory than truth table representation. Presented new implementation of transformation based algorithm can be used for synthesis of much larger reversible functions than for original version of the algorithm.
引用
收藏
页码:235 / 238
页数:4
相关论文
共 50 条
  • [1] Reversible Logic Synthesis via Biconditional Binary Decision Diagrams
    Chattopadhyay, Anupam
    Littarru, Alessandro
    Amaru, Luca
    Gaillardon, Pierre-Emmanuel
    De Micheli, Giovanni
    [J]. 2015 IEEE 45TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2015, : 2 - 7
  • [2] Synthesis of Reversible Circuits Using Decision Diagrams
    Drechsler, Rolf
    Wille, Robert
    [J]. 2012 INTERNATIONAL SYMPOSIUM ON ELECTRONIC SYSTEM DESIGN (ISED 2012), 2012, : 1 - 5
  • [3] Ancilla-free synthesis of large reversible functions using binary decision diagrams
    Soeken, Mathias
    Tague, Laura
    Dueck, Gerhard W.
    Drechsler, Rolf
    [J]. JOURNAL OF SYMBOLIC COMPUTATION, 2016, 73 : 1 - 26
  • [4] Reversible Logic Synthesis Using Binary Decision Diagrams With Exploiting Efficient Reordering Operators
    Abdalhaq, Baker K.
    Awad, Ahmed
    Hawash, Amjad
    [J]. IEEE ACCESS, 2020, 8 (08): : 156001 - 156016
  • [5] Reversible Circuit Synthesis Method Using Sub-graphs of Shared Functional Decision Diagrams
    BU, D. E. N. G. L., I
    DENG, J. U. N. Y., I
    TANG, P. E. N. G. J. I. E.
    YANG, S. H. U. H. O. N. G.
    [J]. COMPUTER JOURNAL, 2023, 66 (10): : 2574 - 2592
  • [6] Synthesis of optical circuits using binary decision diagrams
    Deb, Arighna
    Wille, Robert
    Keszoecze, Oliver
    Shirinzadeh, Saeideh
    Drechsler, Rolf
    [J]. INTEGRATION-THE VLSI JOURNAL, 2017, 59 : 42 - 51
  • [7] SYNTHESIS FOR TESTABILITY - BINARY DECISION DIAGRAMS
    BECKER, B
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 577 : 501 - 512
  • [8] Evolution of binary decision diagrams for digital circuit design using genetic programming
    Sakanashi, H
    Higuchi, T
    Iba, H
    Kakazu, Y
    [J]. EVOLVABLE SYSTEMS: FROM BIOLOGY TO HARDWARE, 1997, 1259 : 470 - 481
  • [9] A Comparative Analysis of Binary Decision Diagram Reordering Algorithms for Reversible Circuit Synthesis
    Awad, Ahmed
    Abdalhaq, Baker
    Hawash, Amjad
    Johnson, Douglas
    [J]. 2018 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), 2018, : 104 - 111
  • [10] Factorization using binary decision diagrams
    Håvard Raddum
    Srimathi Varadharajan
    [J]. Cryptography and Communications, 2019, 11 : 443 - 460