Physics – Quantum Physics
Scientific paper
2008-09-13
Physics
Quantum Physics
15 pages, 14 figures, to appear IEICE Trans. Fundamentals, Vol. E91-A, No.12
Scientific paper
Recently much attention has been paid to quantum circuit design to prepare for the future "quantum computation era." Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits. For that purpose, we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restriction, we can introduce an efficient verification scheme based on decision diagrams called Decision Diagrams for Matrix Functions (DDMFs). Then, we show analytically the advantages of our approach based on DDMFs over the previous verification techniques. In order to introduce DDMFs, we also introduce new concepts, quantum functions and matrix functions, which may also be interesting and useful on their own for designing quantum circuits.
Miller Michael D.
Minato Shin-ichi
Yamashita Shigeru
No associations
LandOfFree
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-603909