基于相似函数与相似网络的可逆网络化简

计算机科学 ›› 2014, Vol. 41 ›› Issue (Z11): 195-198.

基于相似函数与相似网络的可逆网络化简

徐明强,管致锦,何金凤,鹿玉

南通纺织职业技术学院素质部南通226007;南通大学计算机科学与技术学院南通226019;南通大学计算机科学与技术学院南通226019;南通大学电子信息学院南通226019;南通大学计算机科学与技术学院南通226019

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受国家自然科学基金(60873069),南通纺织职业技术学院科研项目(FYKY/2013/7),南通大学研究生科技创新计划项目(YKC13006)资助

Reversible Network Simplification with Similar Function and Similar Network

XU Ming-qiang,GUAN Zhi-jin,HE Jin-feng and LU Yu

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

摘要： 提出了可逆函数的相似函数及可逆网络的相似网络,在此基础上构建了可逆网络化简方法。由可逆函数求出其所有的相似函数,对每个相似函数利用可逆逻辑综合算法生成可逆网络,再将其转换成对应的相似网络,并从中选取最优。该网络化简算法实现了生成三变量全部可逆函数和多变量可逆函数的可逆网络,与相关文献及Benchmark中的例题相比,构造可逆网络的门数较少,具有一定的优势。

关键词: 可逆逻辑,可逆网络,相似函数,相似网络

Abstract: This paper presented the similar function of the reversible function and the similar network of the reversible network,and on the basis of that,the simplification method of reversible network was constructed.Giving a reversible function,all its similar functions can be searched.To every similar function,the reversible network which is converted to its corresponding similar network,can be constructed by reversible logic synthesis algorithm,and the optimum can be chosen.The network simplification algorithm realizes the reversible network of all 3-variable functions and some multi-variable functions.Compared with the pertinent literature and the examples of Benchmark,it has some advantages while constructing the reversible network with less gate count.

Key words: Reversible logic,Reversible network,Similar function,Similar network

徐明强,管致锦,何金凤,鹿玉. 基于相似函数与相似网络的可逆网络化简[J]. 计算机科学, 2014, 41(Z11): 195-198. https://doi.org/

XU Ming-qiang,GUAN Zhi-jin,HE Jin-feng and LU Yu. Reversible Network Simplification with Similar Function and Similar Network[J]. Computer Science, 2014, 41(Z11): 195-198. https://doi.org/

参考文献

[1] Bennett C H.Logical reversibility of computation[J].IBM Journal of Research and Development,1973,17(6):525-532
[2] 管致锦,秦小麟,陶涛,等.可逆逻辑门网络的表示与级联[J].电子学报,2010,8(10):2370-2376
[3] 王冬,陈汉武,安博,等.基于矩阵初等变换的四量子比特可逆电路综合算法[J].电子学报,2010,8(11):2561-2565
[4] 李志强,陈汉武,徐宝文,等.四量子可逆逻辑电路快速综合算法[J].电子学报,2008,6(11):2081-2089
[5] Pang Yu,Wang Shao-quan,He Zhi-long,et al.Positive Davio-based synthesis algorithm for reversible logic[C]∥Proceedings of International Conference on Computer Design.New Jersey:Institute of Electrical and Electronics Engineers Inc.,2011:212-218
[6] Shende V V,Prasad A K,Markov I L,et al.Synthesis of reversi-ble logic circuits [J].Computer-Aided Design of Integrated Circuits and Systems,2003,22(6):710-722
[7] Gupta P,Agrawal A,Jha N K.An algorithm for synthesis of reversible logic circuits [J].Computer-Aided Design of Integrated Circuits and Systems,2006,25(11):2317-2330
[8] Maslov D,Dueck G W,Miller D M.Toffoli network synthesis with templates [J].Computer Aided Design of Integrated Circuits and Systems,2005,24(6):807-817
[9] Saeedi M,Sedighi M,Zamani M S.A novel synthesis algorithm for reversible circuits[C]∥Proceedings of the 2007 IEEE/ACM International Conference on Computer-Aided Design.Los A-lamitos:IEEE Computer Society Press,2007:65-68
[10] Zheng Y,Huang C.A novel Toffoli network synthesis algorithm for reversible logic[C]∥Proceedings of the 2009 Asia and South Pacific Design Automation Conference.Los Alamitos:IEEE Computer Society Press,2009:739-744
[11] Maslov D.Reversible logic synthesis benchmarks webpage.[2013-09].http://www.cs.uvic.ca/~dmaslov/
[12] Wan S,Chen H,Cao R.A novel transformation-based algorithm for reversible logic synthesis [C]∥Proceedings of the 4th International Symposium on Advances in Computation and Intelligence.Heidelberg:Springer-Verlag Berlin 2009:70-81
[13] 徐明强,管致锦,倪丽惠.基于关联选择的可逆逻辑综合算法[J].计算机辅助设计与图形学学报,2012,4(9):1218-1225

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed