A decision diagram package for reversible and quantum circuit simulation

被引：0

作者：

Miller, D. Michael ^{[1
]}

Thornton, Mitchell A. ^{[2
]}

Goodman, David ^{[2
]}

机构：

[1] Univ Victoria, Dept Comp Sci, POB 3055, Victoria, BC V8W 3P6, Canada

[2] So Methodist Univ, Dept Comp Sci, Dallas, TX 75275 USA

来源：

2006 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-6 | 2006年

基金：

加拿大自然科学与工程研究理事会;

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

This paper presents a decision diagram structure intended for the simulation and verification of reversible and quantum circuits. The structure is designed to efficiently represent the matrices describing reversible and quantum gate and circuit behaviour and takes advantage of key properties of those matrices. Algorithms are described for efficiently building the decision diagram representation directly from a gate without constructing the actual matrix and for performing matrix multiplication which is the fundamental operation to determine the function realized by a cascade of gates. Experimental results show the methods presented are applicable to large circuits at the state of the art in reversible and quantum synthesis and design.

引用

页码：2413 / 2420

页数：8

共 50 条

[21] A Mathematica Package for Simulation of Quantum Computation
Gerdt, Vladimir P.
Kragler, Robert
Prokopenya, Alexander N.
COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, PROCEEDINGS, 2009, 5743 : 106 - +
[22] Quantum Cost Optimization for Reversible Sequential Circuit
Al Mamun, Selim
Menville, David
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2013, 4 (12) : 15 - 21
[23] Quantum reversible circuit of AES-128
Mishal Almazrooie
Azman Samsudin
Rosni Abdullah
Kussay N. Mutter
Quantum Information Processing, 2018, 17
[24] Quantum reversible circuit of AES-128
Almazrooie, Mishal
Samsudin, Azman
Abdullah, Rosni
Mutter, Kussay N.
QUANTUM INFORMATION PROCESSING, 2018, 17 (05)
[25] Simulation Paths for Quantum Circuit Simulation With Decision Diagrams What to Learn From Tensor Networks, and What Not
Burgholzer, Lukas
Ploier, Alexander
Wille, Robert
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (04) : 1113 - 1122
[26] Reversible Logic Synthesis Based on Decision Diagram Variable Ordering
Feinstein, David Y.
Thornton, Mitchell A.
JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 19 (04) : 325 - 339
[27] Quantum circuit simulation of superchannels
Wang, Kai
Wang, Dong-Sheng
NEW JOURNAL OF PHYSICS, 2023, 25 (04):
[28] Reversible Circuit Synthesis Method by Combining Factoring and Boolean Expression Diagram
Bu D.
Bu, Dengli (bodengli@163.com); Bu, Dengli (bodengli@163.com), 1617, Institute of Computing Technology (33): : 1617 - 1626
[29] A maple-based homotopic circuit simulation package
Sarmiento-Reyes, A
Murphy-Arteaga, RS
Vázquez-Leal, H
PROCEEDINGS OF THE 44TH IEEE 2001 MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, 2001, : 33 - 36
[30] Reversible Circuit Synthesis Using Binary Decision Diagrams
Podlaski, Krzysztof
PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 235 - 238

← 1 2 3 4 5 →