Chin-Yung LU


An XQDD-Based Verification Method for Quantum Circuits
Shiou-An WANG Chin-Yung LU I-Ming TSAI Sy-Yen KUO 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2008/02/01
Vol. E91-A  No. 2  pp. 584-594
Type of Manuscript:  PAPER
Category: VLSI Design Technology and CAD
Keyword: 
quantum computingquantum circuitsverificationdecision diagram
 Summary | Full Text:PDF(466.9KB)