[1] Bennett C H.Logical reversibility of computation[J].IBM Journal of Research and Development,1973,17(6):525-532.
[2] Nielsen M A,Chuang I L.Quantum Computation and Quantum Information[M].10th anniversary edition.New York:Cambridge University Press,2010.
[3] Abdessaied N,Drechsler R.Reversible and Quantum Circuits:Optimization and Complexity Analysis[M].Bremen:Springer Press,2016.
[4] Yang G,Xie F,Hung W N N,et al.Realization and synthesis of reversible functions[J].Theoretical Computer Science,2011,412(17):1606-1613.
[5] 陈汉武,李文骞,阮越,等.基于汉明距离递减变换的可逆逻辑综合算法[J].计算机学报,2014,37(8):1839-1845. Chen Hanwu,Li Wenqian,Ruan Yue,et al.A synthesis algorithm of reversible logic circuit based on the decreasing transform of hamming distance[J].Chinese Journal of Computers,2014,37(8):1839-1845.(in Chinese)
[6] Soeken M,Wille R,Keszocze O,et al.Embedding of large Boolean functions for reversible logic[J].ACM Journal on Emerging Technologies in Computing Systems,2015,12(4):Article 41:1-26.
[7] Drechsler R,Wille R.Synthesis of reversible circuits using decision diagrams[A].Proceedings of the International Symposium on Electronic System Design[C].Kolkata,India:IEEE Press,2012.1-5.
[8] Pang Y,Yan Y,Lin J,et al.An efficient method to synthesize reversible logic by using positive Davio decision diagrams[J].Circuits,Systems,and Signal Processing,2014,33(10):3107-3121.
[9] 王友仁,沈先坤,周影辉.基于KFDD的可逆逻辑电路综合设计方法[J].电子学报,2014,42(5):1025-1029. Wang Youren,Shen Xiankun,Zhou Yinghui.Synthesis design method of reversible logic circuit based on Kronecker functional decision diagram[J].Acta Electronica Sinica,2014,42(5):1025-1029.(in Chinese)
[10] Saeedi M,Markov I L.Synthesis and optimization of reversible circuits-a survey[J].ACM Computing Surveys,2013,45(2):Article 21:1-34.
[11] Fazel K,Thornton M A,Rice J E.ESOP-based Toffoli gate cascade generation[A].Proceedings of the IEEE Pacific Rim Conference on Communications,Computers and Signal Processing[C].Victoria,BC,Canada:IEEE,2007.206-209.
[12] Zulehner A,Wille R.Make it reversible:efficient embedding of non-reversible functions[A].Proceedings of Design,Automation & Test in Europe Conference & Exhibition[C].Lausanne,Switzerland:IEEE Press,2017.458-463.
[13] Adnan N A B,Yamashita S,Mishchenko A.Reduction of quantum cost by making temporary changes to the function[J].IEICE Transactions on Information & Systems,2017,E100.D(7):1393-1402.
[14] Chaki R,Saeed K,Choudhury S,et al.Applied Computation and Security Systems[M].New Delhi:Springer Press,2015.131-144.
[15] Bandyopadhyay C,Parekh S,Rahaman H.A synthesis approach for ESOP-based reversible circuit[A].Proceedings of the International Conference on Advances in Computing,Communications and Informatics[C].Jaipur,India:IEEE Press,2016.1741-1745.
[16] Wille R,Groβe D,Teuber L,et al.RevLib:an online resource for reversible functions and reversible circuits[A].Proceedings of the 38th International Symposium on Multiple-Valued Logic[C].Dallas,TX,USA:IEEE Press,2008.220-225.
[17] Revkit2.0.Revkit:a toolkit for reversible circuit design[DB/OL].http://www.revkit.org/.2015-8-9.
[18] Maslov D.Reversible logic synthesis benchmarks page[DB/OL].http://webhome.cs.uvic.ca/~dmaslov/.2017-05-15.
[19] Kao M-Y.Encyclopedia of Algorithms[M].New York:Springer Press,2008.
[20] Minato S-I.Zero-suppressed BDDs and their applications[J].International Journal on Software Tools for Technology Transfer,2001,3(2):156-170.
[21] Sasao T,Butler J T.Applications of Zero-Suppressed Decision Diagrams[M].San Rafael:Morgan & Claypool Publishers.2014.1-34.
[22] Mishchenko A,Perkowski M.Fast heuristic minimization of exclusive-sums-of-products[A].Proceedings of Reed-Muller Workshop[C].Mississippi,USA:IEEE Press,2001.241-249. |