Introduction -- Quantum Computing -- Design Automation Methods for Conventional Systems -- Quantum-Circuit Simulation Overview -- Decision Diagram-based Simulation -- Combining Operations in DD-based Simulation -- Efficient Implementation of the Proposed DDs -- Accuracy and Compactness of the Proposed DDs -- Design of Boolean Components for Quantum Circuits -- Functional Synthesis -- One-pass Design Flow -- Mapping Quantum Circuits to NISQ Devices -- Minimal and Close-to-minimal Approaches -- Heuristic Approach -- A Dedicated Heuristic Approach for SU(4) Quantum Circuits -- Conclusion.

This book offers readers an easy introduction into quantum computing as well as into the design for corresponding devices. The authors cover several design tasks which are important for quantum computing and introduce corresponding solutions. A special feature of the book is that those tasks and solutions are explicitly discussed from a design automation perspective, i.e., utilizing clever algorithms and data structures which have been developed by the design automation community for conventional logic (i.e., for electronic devices and systems) and are now applied for this new technology. By this, relevant design tasks can be conducted in a much more efficient fashion than before – leading to improvements of several orders of magnitude (with respect to runtime and other design objectives). Describes the current state of the art for designing quantum circuits, for simulating them, and for mapping them to real hardware; Provides a first comprehensive introduction into design automation for quantum computing that tackles practically relevant tasks; Targets the quantum computing community as well as the design automation community, showing both perspectives to quantum computing, and what impressive improvements are possible when combining the knowledge of both communities.