دانلود کتاب اتوماسیون طراحی برای محاسبات کوانتومی

Despite technological advances, classical computers cannot efficiently solve several classes of important problems, such as optimization and logistics, quantum simulation, and data sampling. Quantum computers provide a promising alternative to solve various complex problems significantly faster than the classical computers. Quantum computing uses qubits, which can exist in a superposition of zero and one states, and can utilize entanglement to perform tasks efficiently. Quantum algorithms make use of these quantum phenomena to offer advantages over classical computing. For example, the performance of classical computers increases linearly with the number of bits (transistors). In contrast, the performance of quantum computers increases exponentially with the number of qubits. In order to utilize the potential of quantum computing, scientists and engineers need to solve various design automation challenges starting from specification to implementation and analysis. 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, synthesizing quantum circuits to map them to physical quantum computers, verification and debug, and error correction for noise-resilient quantum computing. This will enable computer scientists and engineers to design a reliable quantum computing framework to solve the challenges in the 21st century. The presentation of topics has been divided into six categories with each category focusing on a specific aspect of the big picture.