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 条

[31] CircuitScribe: Block Diagram based Circuit Simulation Application
Gajare, Amogh
Tembe, Yogesh
Ameysonje
Sawant, Sayli
Mangala, Rajani
2021 IEEE Mysore Sub Section International Conference, MysuruCon 2021, 2021, : 492 - 497
[32] COMBINING BEHAVIORAL BLOCK DIAGRAM MODELING WITH CIRCUIT SIMULATION
BORUTZKY, W
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 410 : 399 - 410
[33] Analysis of Circuit Dynamic Behavior with Timed Ternary Decision Diagram
Wan, Lu
Chen, Deming
2010 IEEE AND ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2010, : 516 - 523
[34] Sequential circuit test generation using decision diagram models
Raik, J
Ubar, R
DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, 1999, : 736 - 740
[35] Reordering in topology decision diagram method for symbolic circuit analysis
Djordjevic, S.
Petkovic, P. M.
2006 25TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, VOLS 1 AND 2, PROCEEDINGS, 2006, : 447 - +
[36] Decision Diagrams for the Design of Reversible and Quantum Circuits
Wille, Robert
Niemann, Philipp
Zulehner, Alwin
Drechsler, Rolf
2018 INTERNATIONAL SYMPOSIUM ON DEVICES, CIRCUITS AND SYSTEMS (ISDCS), 2018,
[37] Optimal Quantum Circuit Decomposition of Reversible Gates on IBM quantum computer
Bhat, Hilal Ahmad
Khanday, Farooq Ahmad
Shah, Khurshed Ahmad
2022 5TH INTERNATIONAL CONFERENCE ON MULTIMEDIA, SIGNAL PROCESSING AND COMMUNICATION TECHNOLOGIES (IMPACT), 2022,
[38] Reversible fast permutation transforms for quantum circuit synthesis
Al-Rabadi, AN
34TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 2004, : 81 - 86
[39] Low cost quantum realization of reversible multiplier circuit
Islam, M.S.
Rahman, M.M.
Begum, Z.
Hafiz, M.Z.
Information Technology Journal, 2009, 8 (02) : 208 - 213
[40] Adaptive algorithm for quantum circuit simulation
Schutski, Roman
Lykov, Danil
Oseledets, Ivan
PHYSICAL REVIEW A, 2020, 101 (04)

← 1 2 3 4 5 →