An XQDD-Based Verification Method for Quantum Circuits
スポンサーリンク
概要
- 論文の詳細を見る
Synthesis of quantum circuits is essential for building quantum computers. It is important to verify that the circuits designed perform the correct functions. In this paper, we propose an algorithm which can be used to verify the quantum circuits synthesized by any method. The proposed algorithm is based on BDD (Binary Decision Diagram) and is called X-decomposition Quantum Decision Diagram (XQDD). In this method, quantum operations are modeled using a graphic method and the verification process is based on comparing these graphic diagrams. We also develop an algorithm to verify reversible circuits even if they have a different number of garbage qubits. In most cases, the number of nodes used in XQDD is less than that in other representations. In general, the proposed method is more efficient in terms of space and time and can be used to verify many quantum circuits in polynomial time.
- （社）電子情報通信学会の論文
- 2008-02-01
著者
-
Tsai I-ming
Chunghwa Telecom Labs
-
WANG Shiou-An
Department of Electrical Engineering and Graduate Institute of Electronic Engineering, National Taiw
-
LU Chin-Yung
Department of Electrical Engineering and Graduate Institute of Electronic Engineering, National Taiw
-
KUO Sy-Yen
Department of Electrical Engineering and Graduate Institute of Electronic Engineering, National Taiw
-
Wang Shiou-an
Department Of Electrical Engineering And Graduate Institute Of Electronic Engineering National Taiwa
-
Kuo Sy-yen
Department Of Electrical Engineering And Graduate Institute Of Electronic Engineering National Taiwa
-
Lu Chin-yung
Department Of Electrical Engineering And Graduate Institute Of Electronic Engineering National Taiwa
-
Kuo Sy-yen
Department Of Computer Science National Chiao Tung University
関連論文
- An XQDD-Based Verification Method for Quantum Circuits
- A Fault-Tolerant Deadlock-Free Multicast Algorithm for Wormhole Routed Hypercubes
- Achieving Fault Tolerance in Pipelined Multiprocessor Systems
- Adaptive Low-Error Fixed-Width Booth Multipliers(Circuit Theory)
- 信頼性教室 Software Reliability:Theory and Modeling