Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Review Help
Search
Compact representations for the design of quantum logic
Niemann P., Wille R., Springer Publishing Company, Incorporated, New York, NY, 2017. 125 pp. Type: Book (978-3-319637-23-5)
Date Reviewed: Jun 21 2018

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.

Reviewer:  Maulik A. Dave Review #: CR146100 (1809-0496)
Bookmark and Share
  Reviewer Selected
Featured Reviewer
 
 
Computer-Aided Design (CAD) (J.6 ... )
 
 
Advanced Technologies (B.7.1 ... )
 
Would you recommend this review?
yes
no
Other reviews under "Computer-Aided Design (CAD)": Date
The logic of architecture
Mitchell W. (ed), MIT Press, Cambridge, MA, 1990. Type: Book (9780262132381)
Apr 1 1992
Computer aided design: fundamentals and system architectures
Encarnação J. (ed), Lindner R., Schlechtendahl E., Springer-Verlag New York, Inc., New York, NY, 1990. Type: Book (9780387520476)
Sep 1 1991
Exploration and innovation in design
Navinchandra D., Springer-Verlag New York, Inc., New York, NY, 1991. Type: Book (9780387974811)
Nov 1 1991
more...

E-Mail This Printer-Friendly
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy