This book is in the area of quantum computer design. It proposes a new approach for such designs. It provides the background information required to understand the new approach. It also describes experimental results of the approach.

Part 1 has two chapters. The first chapter includes motivation for the work presented in the book. It observes a growing interest in designing and building quantum computers. It observes the differences between current computer design and quantum computer design. The second chapter develops foundation mathematics. It introduces qubits, the way operations can be done on qubits, and how qubit-based gate libraries can be formed.

Part 2 is on the representation of the quantum logic. It proposes quantum multiple-valued decision diagrams (QMDDs). It explains the challenges of quantum logic representations over Boolean logic representations. The description of QMDDs includes a formal definition, proof of uniqueness, normalization, steps for matrix operations, and steps for construction. Chapter 3 develops the background from binary decision diagrams through QMDDs. Chapter 4 describes QMDD. Chapter 5 summarizes chapters 3 and 4.

Part 3 proposes a synthesis scheme for the computer-aided design (CAD) of quantum circuits. Chapter 6 discusses some of the synthesis approaches used by others. Chapter 7 describes the proposed approach in detail. The description includes concepts such as Clifford group operations, the algorithm, a theoretical analysis of the algorithm, experimental results, and conclusions. Chapter 8 proposes an equivalence checking scheme and includes the results of the evaluation. The book ends with chapter 9, “Discussion and Outlook.”

The book can be described as an extended research paper. CAD for quantum circuits is a new challenge taken up at the research level. The book can be useful for research-level courses.