Synthesis of reversible circuits with minimal costs

被引：0
|
作者：
Guowu Yang
Xiaoyu Song
William N. N. Hung
Marek A. Perkowski
Chang-Jun Seo
机构：
[1] University of Electronic Science and Technology of China,Dept. of EIRE
[2] Portland State University,undefined
[3] Inje University,undefined
来源：
Calcolo | 2008年 / 45卷
关键词：
Circuits; networks; switching theory; application of Boolean algebra; Boolean function; discrete mathematics in relation to computer science; combinatorics; 94C10; 68R05;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
We present fast algorithms to synthesize exact minimal reversible circuits for various types of gate and cost. By reducing reversible logic synthesis problems to permutation group problems, we use the powerful algebraic software GAP to solve such problems. Our approach can minimize for arbitrary cost functions of gates. In addition, we show that Peres gates are a better choice than the standard Toffoli gates in libraries of universal reversible gates.
引用
收藏
页码：193 / 206
页数：13
相关论文
共 50 条
  • [41] SyReC Synthesizer: An MQT tool for synthesis of reversible circuits
    Adarsh, Smaran
    Burgholzer, Lukas
    Manjunath, Tanmay
    Wille, Robert
    SOFTWARE IMPACTS, 2022, 14
  • [42] Synthesis of Ternary Non-Reversible Logic Circuits
    Li, Xiaoyu
    Yang, Guowu
    Zheng, Desheng
    2010 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2010,
  • [43] Synthesis of Reversible Circuits: A View on the State-of-the-Art
    Kemtopf, Pawel
    Perkowski, Marek
    Podlaski, Krzysztof
    2012 12TH IEEE CONFERENCE ON NANOTECHNOLOGY (IEEE-NANO), 2012,
  • [44] Synthesis of the Optimal 4-bit Reversible Circuits
    Golubitsky, Oleg
    Falconer, Sean M.
    Maslov, Dmitri
    PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 653 - 656
  • [45] Synthesis of Reversible Circuits Based on Products of Exclusive Or Sums
    Schaeffer, Ben
    Linh Tran
    Gronquist, Addison
    Perkowski, Marek
    Kerntopf, Pawel
    2013 IEEE 43RD INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2013), 2013, : 35 - 40
  • [46] Synthesis of reversible circuits based on EXORs of products of EXORs
    Department of Electrical and Computer Engineering, Portland State University, Portland
    OR, United States
    不详
    Lect. Notes Comput. Sci., (111-128):
  • [47] SYNTHESIS OF MINIMAL AUTOMATA USING LINEAR SWITCHING CIRCUITS
    ZAROVNYY, VP
    ENGINEERING CYBERNETICS, 1970, (02): : 292 - &
  • [48] Logic Synthesis of Ternary Quantum Circuits with Minimal Qutrits
    Li, Xiaoyu
    Yang, Guowu
    Zheng, Desheng
    JOURNAL OF COMPUTERS, 2013, 8 (08) : 1941 - 1946
  • [49] One-Pass Design of Reversible Circuits: Combining Embedding and Synthesis for Reversible Logic
    Zulehner, Alwin
    Wille, Robert
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (05) : 996 - 1008
  • [50] SYNTHESIS OF REVERSIBLE CIRCUITS With No Ancilla Bits for Large Reversible Functions Specified with Bit Equations
    Alhagi, Nouraddin
    Hawash, Maher
    Perkowski, Marek
    40TH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC ISMVL 2010, 2010, : 39 - 45
12345