Synthesis and Optimization by Quantum Circuit Description Language | SpringerLink
Skip to main content
Springer Nature Link
Log in

Synthesis and Optimization by Quantum Circuit Description Language

  • Chapter
  • First Online:
Transactions on Computational Science XXIV

Part of the book series: Lecture Notes in Computer Science ((TCOMPUTATSCIE,volume 8911))

Abstract

This paper describes the infrastructure of synthesizing quantum circuits via a quantum description language and for this purpose a new quantum circuit description language named QCDL is introduced which comprises instructions for quantum unitary operations and high-level structures which are synthesized into quantum logic level architecture. Next to introducing this language, we describe our synthesis approach to build up the quantum circuits out of a QCDL program. Although there are some languages like QCDL that work in the same way, but they lack all required instruction set, optimization step and/or support for distributed quantum circuits like the one in QCDL. More importantly, this paper describes a synthesis method for the specified language which is not completely included in other works in the field.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
¥17,985 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
JPY 3498
Price includes VAT (Japan)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
JPY 5719
Price includes VAT (Japan)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
JPY 7149
Price includes VAT (Japan)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

  1. Wille, R., Drechsler, R.: BDD-based synthesis of reversible logic for large functions. In: Proceedings of the 46th Annual Design Automation Conference, pp. 270–275. ACM (2009)

    Google Scholar 

  2. Kerntopf, P.: A new heuristic algorithm for reversible logic synthesis. In: Proceedings of the 41st Annual Design Automation Conference, pp. 834–837. ACM (2004)

    Google Scholar 

  3. Takahashi, K., Hirayama, T.: Reversible logic synthesis from positive Davio trees of logic functions. In: TENCON 2009–2009 IEEE Region 10 Conference, pp. 1–4. IEEE (2009)

    Google Scholar 

  4. Pang, Y., Wang, S., He, Z., Lin, J., Sultana, S., Radecka, K.: Positive Davio-based synthesis algorithm for reversible logic. In: 2011 IEEE 29th International Conference on Computer Design (ICCD), pp. 212–218. IEEE (2011)

    Google Scholar 

  5. Yokoyama, T., Gluck, R.: A reversible programming language and its invertible self-interpreter. In: Symposium on Partial Evaluation and Semanticsbased Program Manipulation, pp. 144–153 (2007)

    Google Scholar 

  6. Wille, R., Offermann, S., Drechsler, R.: SyReC: a programming language for synthesis of reversible circuits. In: System Specification and Design Languages, pp. 207–222. Springer, New York (2012)

    Chapter  Google Scholar 

  7. Chakrabarti, A., Sur-Kolay, S., Mandal, S.B.: Design of a hardware description language based quantum circuit simulator. Int. J. Recent Trends Eng. Technol. 1 (2009)

    Google Scholar 

  8. Gawron, P., Klamka, J., Miszczak, J., Winiarczyk, R.: Extending scientific computing system with structural quantum programming capabilities. Bull. Pol. Acad. Sci. Tech. Sci. 58, 77–88 (2010)

    Google Scholar 

  9. Ömer, B.: Structured quantum programming. Inf. Syst. 130 (2003)

    Google Scholar 

  10. Bettelli, S., Calarco, T., Serafini, L.: Toward an architecture for quantum programming. Eur. Phys. J. D-Anat. Mol. Opt. Plasma Phys. 25, 181–200 (2003)

    Google Scholar 

  11. Ying, M., Feng, Y.: A flowchart language for quantum programming. IEEE Trans. Softw. Eng. 37, 466–485 (2011)

    Article  Google Scholar 

  12. Selinger, P.: A brief survey of quantum programming languages. In: Kameyama, Y., Stuckey, P.J. (eds.) FLOPS 2004. LNCS, vol. 2998, pp. 1–6. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  13. Liu, X., Kubiatowicz, J.: Chisel-Q: Designing quantum circuits with a scala embedded language. In: 2013 IEEE 31st International Conference on Computer Design (ICCD). IEEE (2013)

    Google Scholar 

  14. Green, A.S., Lumsdaine, P.L.F., Ross, N.J., Selinger, P., Valiron, B.: An introduction to quantum programming in quipper. In: Dueck, G.W., Miller, D.M. (eds.) RC 2013. LNCS, vol. 7948, pp. 110–124. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  15. Green, A.S., Lumsdaine, P. L., Ross, N.J., Selinger, P., Valiron, B.: Quipper: a scalable quantum programming language. In: ACM SIGPLAN Notices, vol. 48, pp. 333–342. ACM (2013)

    Google Scholar 

  16. Abhari, A.J., Faruque, A., Dousti, M.J., Svec, L., Catu, O., Chakrabati, A., Chiang, C.-F., Vanderwilt, S., Black, J., Chong, F.: Scaffold: quantum programming language. Technical Report TR-934-12, Princeton University (2012)

    Google Scholar 

  17. McMahon, D.: Quantum Computing Explained. Wiley, Hoboken (2007)

    Book  Google Scholar 

  18. Sgarbas, K.N.: A quantum probability splitter and its application to qubit preparation. Quantum Inf. Process. 12, 601–610 (2013)

    Article  MATH  MathSciNet  Google Scholar 

  19. Maynard, C.M., Einar, P.: Integer Arithmetic With Hybrid Quantum-Classical Circuits (2013). arXiv preprint http://arxiv.org/abs/1304.4069arXiv:1304.4069

  20. Florio, G., Picca, D.: Quantum implementation of elementary arithmetic operations (2004). arXiv preprint http://arxiv.org/abs/quant-ph/0403048quant-ph/0403048

  21. Choi, B.S., Van Meter, R.: A \(\Theta \) \((\sqrt{n})\)-depth quantum adder on the 2D NTC quantum computer architecture. ACM J. Emerg. Technol. Comput. Syst. (JETC) 8(3), 24:1–24:22 (2012)

    Google Scholar 

  22. Draper, T.G.: Addition on a Quantum Computer (2000). arXiv preprint http://arxiv.org/abs/quant-ph/0008033quant-ph/0008033

  23. Frank, M.P., Thomas F.K. Jr.: Reversibility for efficient computing. Diss. Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science (1999)

    Google Scholar 

  24. Oliveira, D.S., Ramos, R.V.: Quantum bit string comparator: circuits and applications. Quantum Comput. Comput. 7, 17–26 (2007)

    MathSciNet  Google Scholar 

  25. Nielsen, M.A., Chuang, I.L.: Quantum Computation and Quantum Information. Cambridge University Press, New York (2000)

    MATH  Google Scholar 

  26. Draper, T.G., Kutin, S.A., Rains, E.M., Svore, K.M.: A logarithmic-depth quantum carry-lookahead adder. Quantum Inf. Comput. 6, 351–369 (2006)

    MATH  MathSciNet  Google Scholar 

  27. Thapliyal, H., Ranganathan, N.: Design of efficient reversible logic-based binary and BCD adder circuits. ACM J. Emerg. Technol. Comput. Syst. 9(3) (2013)

    Google Scholar 

  28. Thapliyal, H., Ranganathan, N.: A new reversible design of bcd adder. In: Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1–4. IEEE (2011)

    Google Scholar 

  29. Thapliyal, H.: Ranganathan. N.: Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs. ACM J. Emerg. Technol. Comput. Syst. 6(4), 14:1–14:35 (2010)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ferdowsi university of Mashhad, Mashhad, Iran

    Mariam Zomorodi-Moghadam

  2. Faculty of Electrical and Computer Engineering, Shahid Beheshti University, G.C., 1983963113, Evin, Tehran, Iran

    Mohammad-Amin Taherkhani & Keivan Navi

Authors
  1. Mariam Zomorodi-Moghadam
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mohammad-Amin Taherkhani
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Keivan Navi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Keivan Navi .

Editor information

Editors and Affiliations

  1. University of Calgary, Calgary, Alberta, Canada

    Marina L. Gavrilova

  2. CloudFabriQ Ltd., London, United Kingdom

    C.J. Kenneth Tan

  3. University of Kentucky, Lexington, Kentucky, USA

    Himanshu Thapliyal

  4. Department of Computer Science and Engineering, University of South Florida, Tampa, Florida, USA

    Nagarajan Ranganathan

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Zomorodi-Moghadam, M., Taherkhani, MA., Navi, K. (2014). Synthesis and Optimization by Quantum Circuit Description Language. In: Gavrilova, M., Tan, C., Thapliyal, H., Ranganathan, N. (eds) Transactions on Computational Science XXIV. Lecture Notes in Computer Science(), vol 8911. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45711-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-45711-5_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-662-45710-8

  • Online ISBN: 978-3-662-45711-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation