Introducing Design Automation for Quantum Computing

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.

Alwin Zulehner received his MSc degree as well as his PhD in computer science from the Johannes Kepler University Linz, Austria in 2015 and 2019, respectively. His research interests include design automation for quantum computing. In this area, he has published several papers at international conferences and journals such as the IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems (TCAD), the Asia and South Pacific Design Automation Conference (ASP-DAC), the Design, Automation and Test in Europe (DATE) conference, the Design Automation Conference (DAC), and the International Conference on Computer-Aided Design (ICCAD). For his work, he got awarded with Best Student Awards and won the IBM Qiskit Challenge for his development of a quantum compiler approach.

 Robert Wille is Full Professor at the Johannes Kepler University Linz, Austria. He received the Diploma and Dr.-Ing. degrees in Computer Science from the University of Bremen, Germany, in2006 and 2009, respectively. Since then, he worked at the University of Bremen, the German Research Center for Artificial Intelligence (DFKI), the University of Applied Science of Bremen, the University of Potsdam, and the Technical University Dresden. Since 2015, he is working in Linz. His research interests are in the design of circuits and systems for both conventional and emerging technologies. In these areas, he published more than 300 papers in journals and conferences and served in editorial boards and program committees of numerous journals/conferences. For his research, he was awarded, e.g., with Best Paper Awards, an Under-40 Innovator Award, a Google Research Award, and more.

"Introducing Design Automation for Quantum Computing ... is of interest to different audiences, first, foremost, those working in the industry sector of quantum computing will find in the work a key reference for the development of quantum algorithms and implementation of quantum computing in contexts ... . Secondly, for those researching into quantum computing and those researching design automation, the work provides for a relevant contribution to both fields as well as a basis to guide future research." (Carlos Pedro Gonçalves, zbMATH 1479.81004, 2022)