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 条

[1] Quantum Circuit Simulation with Fast Tensor Decision Diagram
Zhang, Qirui
Saligane, Mehdi
Kim, Hun-Seok
Blaauw, David
Tzimpragos, Georgios
Sylvester, Dennis
2024 25TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, ISQED 2024, 2024,
[2] QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits
Miller, D. Michael
Thornton, Mitchell A.
ISMVL 2006: 36TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, 2006, : 177 - +
[3] A Heterogeneous Decision Diagram Package
Miller, D. Michael
Stankovic, Radomir S.
COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2009, 2009, 5717 : 540 - +
[4] A Comparative Analysis of Binary Decision Diagram Reordering Algorithms for Reversible Circuit Synthesis
Awad, Ahmed
Abdalhaq, Baker
Hawash, Amjad
Johnson, Douglas
2018 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), 2018, : 104 - 111
[5] Approximating Decision Diagrams for Quantum Circuit Simulation
Hillmich, Stefan
Zulehner, Alwin
Kueng, Richard
Markov, Igor L.
Wille, Robert
ACM TRANSACTIONS ON QUANTUM COMPUTING, 2022, 3 (04):
[6] A Swarm based Binary Decision Diagram (BDD) Reordering Optimizer for Reversible Circuit Synthesis
Abdalhaq, Baker
Awad, Ahmed
Hawash, Amjad
2020 15TH IEEE INTERNATIONAL CONFERENCE ON DESIGN & TECHNOLOGY OF INTEGRATED SYSTEMS IN NANOSCALE ERA (DTIS 2020), 2020,
[7] Synthesis design method of reversible logic circuit based on kronecker functional decision diagram
Wang, Y.-R. (wangyrac@nuaa.edu.cn), 1600, Chinese Institute of Electronics (42):
[8] Stochastic Quantum Circuit Simulation Using Decision Diagrams
Grurl, Thomas
Kueng, Richard
Fuss, Juergen
Wille, Robert
PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 194 - 199
[9] LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
Vinkhuijzen, Lieuwe
Coopmans, Tim
Elkouss, David
Dunjko, Vedran
Laarman, Alfons
QUANTUM, 2023, 7
[10] Noise-Aware Quantum Circuit Simulation With Decision Diagrams
Grurl, Thomas
Fuss, Juergen
Wille, Robert
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 42 (03) : 860 - 873

← 1 2 3 4 5 →