Function translations and search-based transformation for MVL reversible circuit synthesis

被引：1

作者：

Miller, D. Michael ^{[1
]}

Dueck, Gerhard W. ^{[2
]}

机构：

[1] Univ Victoria, Dept Comp Sci, POB 1700 STN CSC, Victoria, BC V8W 2Y2, Canada

[2] Univ New Brunswick, Fac Comp Sci, POB 4400, Fredericton, NB E3B 5A3, Canada

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2021年 / 212卷

基金：

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

关键词：

Multiple-valued logic; Reversible circuits; Quantum circuits; Transformation-based synthesis; Circuit simplification;

D O I：

10.1016/j.scico.2021.102704

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Two new function translations and a novel bounded search transformation-based synthesis approach that finds a reversible circuit implementation for a given 3-valued reversible function are presented. Methods for simplifying the circuit post-synthesis and quantum circuit implementation constraints are also considered. Experimental results for all 2-input 3-valued functions show the effectiveness of the new approaches compared to earlier transformation-based synthesis approaches. Other examples are given to show both the effectiveness and limitations of the new approaches which point to a number of key areas for further research. (C) 2021 Elsevier B.V. All rights reserved.

引用

页数：18

共 16 条

[1]

Barbieri C., 2018, 13 INT WORKSH BOOL P

[2] ELEMENTARY GATES FOR QUANTUM COMPUTATION [J].

BARENCO, A ;

BENNETT, CH ;

CLEVE, R ;

DIVINCENZO, DP ;

MARGOLUS, N ;

SHOR, P ;

SLEATOR, T ;

SMOLIN, JA ;

WEINFURTER, H .

PHYSICAL REVIEW A, 1995, 52 (05) :3457-3467

[3]

Hawash M.M., 2014, THESIS PORTLAND STAT

[4] Using Hasse Diagrams to Synthesize Ternary Quantum Circuits [J].

Hawash, Maher ;

Perkowski, Marek .

2012 42ND IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL), 2012, :63-68

[5] Exact Synthesis of Ternary Reversible Functions using Ternary Toffoli Gates [J].

Kole, Abhoy ;

Rani, P. Mercy Nesa ;

Datta, Kamalika ;

Sengupta, Indranil ;

Drechsler, Rolf .

2017 IEEE 47TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2017), 2017, :179-184

[6]

Miller DM, 2006, J MULT-VALUED LOG S, V12, P431

[7] Search-Based Transformation Synthesis for 3-Valued Reversible Circuits [J].

Miller, D. Michael ;

Dueck, Gerhard W. .

REVERSIBLE COMPUTATION (RC 2020), 2020, 12227 :218-236

[8]

Miller DM, 2004, INT SYM MVL, P74

[9]

Miller DM, 2003, DES AUT CON, P318

[10] Multivalued logic gates for quantum computation [J].

Muthukrishnan, A ;

Stroud, CR .

PHYSICAL REVIEW A, 2000, 62 (05) :052309-052301

← 1 2 →