Table of Contents Author Guidelines Submit a Manuscript
Journal of Applied Mathematics
Volume 2013, Article ID 291410, 8 pages
http://dx.doi.org/10.1155/2013/291410
Research Article

Efficient Algorithms for Optimal 4-Bit Reversible Logic System Synthesis

1College of Information Engineering, Yangzhou University, Yangzhou 225009, China
2School of Computer Science and Engineering, Southeast University, Nanjing 211189, China
3University of Electronic Science and Technology Chengdu, Sichuan, Chengdu 611731, China
4Nanjing University of Information Science & Technology, Nanjing 210044, China

Received 8 February 2013; Accepted 23 February 2013

Academic Editor: Xiaoyu Song

Copyright © 2013 Zhiqiang Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. R. P. Feynman, “Quantum mechanical computers,” Foundations of Physics, vol. 16, no. 6, pp. 507–531, 1986. View at Publisher · View at Google Scholar · View at MathSciNet
  2. E. Fredkin and T. Toffoli, “Conservative logic,” International Journal of Theoretical Physics, vol. 21, no. 3-4, pp. 219–253, 1982. View at Publisher · View at Google Scholar · View at MathSciNet
  3. X. Song, G. Yang, M. Perkowski, and Y. Wang, “Algebraic characterization of reversible logic gates,” Theory of Computing Systems, vol. 39, no. 2, pp. 311–319, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. K. Iwama, Y. Kambayashi, and S. Yamashita, “Transformation rules for designing CNOT-based quantum circuits,” in Proceedings of the 39th Annual Design Automation Conference (DAC '02), pp. 419–424, New Orleans, La, USA, June 2002. View at Scopus
  5. D. M. Miller, D. Maslov, and G. W. Dueck, “A transformation based algorithm for reversible logic synthesis,” in Proceedings of the 40th Design Automation Conference, pp. 318–323, San Jose, Calif, USA, June 2003. View at Scopus
  6. A. Mishchenko and M. Perkowski, “Logic synthesis of reversible wave cascades,” in Proceedings of 11th IEEE International Workshop on Logic Synthesis, pp. 197–202, New Orleans, La, USA, 2002.
  7. P. Gupta, A. Agrawal, and N. K. Jha, “An algorithm for synthesis of reversible logic circuits,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 25, no. 11, pp. 2317–2330, 2006. View at Publisher · View at Google Scholar · View at Scopus
  8. W. Li, H. Chen, and Z. Li, “Application of semi-template in reversible logic circuit,” in Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design (CSCWD '07), pp. 332–336, Melbourne, Australia, April 2007. View at Publisher · View at Google Scholar · View at Scopus
  9. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes, “Reversible logic circuit synthesis,” in IEEE/ACM International Conference on Computer Aided Design (ICCAD '02), pp. 353–360, San Jose, Calif, USA, November 2002. View at Publisher · View at Google Scholar · View at Scopus
  10. V. V. Shende, A. K. Prasad, I. L. Markov, and J. P. Hayes, “Synthesis of reversible logic circuits,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 22, no. 6, pp. 710–722, 2003. View at Publisher · View at Google Scholar · View at Scopus
  11. G. Yang, X. Song, W. N. N. Hung, M. A. Perkowski, and C.-J. Seo, “Synthesis of reversible circuits with minimal costs,” Calcolo, vol. 45, no. 3, pp. 193–206, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. G. Yang, X. Song, and M. Perkowski, “Fast synthesis of exact minimal reversible circuits using group theory,” in Proceedings of the Asia and South Pacific Design Automation Conference (ASP-DAC '05), vol. 2, pp. 18–21, Shanghai, China, 2005.
  13. W. N. N. Hung, X. Song, G. Yang, J. Yang, and M. Perkowski, “Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 25, no. 9, pp. 1652–1663, 2006. View at Publisher · View at Google Scholar · View at Scopus
  14. G. Yang, X. Song, W. N. N. Hung, and M. A. Perkowski, “Bi-direction synthesis for reversible circuits,” in Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05), pp. 14–19, Tampa, Fla, USA, May 2005. View at Scopus
  15. G. Yang, X. Song, W. N. N. Hung, and M. A. Perkowski, “Bi-directionalsynthesis of 4-bit reversible circuits,” Computer Journal, vol. 51, no. 2, pp. 207–215, 2008. View at Publisher · View at Google Scholar · View at Scopus
  16. G. Yang, F. Xie, W. N. N. Hung, X. Song, and M. A. Perkowski, “Realization and synthesis of reversible functions,” Theoretical Computer Science, vol. 412, no. 17, pp. 1606–1613, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. Z. Li, H. Chen, B. Xu, and W. Liu, “Fast algorithm for 4-qubit reversible logic circuits synthesis,” in Proceedings of the IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence) (CEC '08), pp. 2202–2207, Hongkong, China, 2008.