Design Automation for Quantum Computing

Quantum computers offer the ability to solve various complex problems significantly faster than the classical computers. This book provides a comprehensive overview of quantum computing from the perspective of computer scientists and engineers. The readers will get a clear understanding of various design automation steps, including specification of quantum algorithms, compiling algorithms to produce quantum circuits, mapping quantum circuits to quantum computers, and error correction for fault-tolerant quantum computing. This book serves as a single source of reference for students, researchers, and engineers for designing reliable quantum computing framework to solve the challenges in the 21st century.

• Introduces the readers to the domain of quantum computing.
• Provides an overview of design automation challenges in quantum computing.
• Outlines popular quantum algorithms and quantum computer architectures.

• Describes state-of-the-art in design automation for quantum computing, including specification, compilation, error correction, measurement, verification, and security.

  Provides a comprehensive introduction to design automation for both classical and quantum computing Describes popular quantum algorithms and architectures Covers key design phases, including specification, compilation, synthesis, mapping, measurement, verification and debug

  Autorentext

Prabhat Mishra is a Professor in the Department of Computer and Information Science and Engineering and a UF Research Foundation Professor at the University of Florida. He received his Ph.D. in Computer Science from the University of California at Irvine. His research interests include quantum computing, embedded systems, design automation, hardware security, and validation of electronic systems. He has published 10 books, 40 book chapters, 30 patents, and more than 250 research articles in premier international journals and conferences. His research has been recognized by several awards, including NSF CAREER Award, IBM Faculty Award, three best paper awards, eleven best paper nominations, and EDAA Outstanding Dissertation Award. He currently serves as the Program Chair of the International Conference on Hardware-Software Codesign and System Synthesis and IEEE International Symposium on Hardware Oriented Security and Trust. He also serves as an Associate Editor of ACM Transactions on Embedded Computing Systems and ACM Transactions on Design Automation of Electronic Systems. He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE), a Fellow of the American Association for the Advancement of Science (AAAS), and a Distinguished Scientist of the Association for Computing Machinery (ACM).

Inhalt

Introduction to quantum versus classical computing.- Introduction to design automation for quantum computing.- Quantum computing using noisy intermediate scale quantum computers.- Quantum variational eigensolver.