Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates

Marek Perkowski; Nouraddin Alhagi; Martin Lukac; Neha Saxena; Scott Blakely

doi:10.1109/ISMVL.2010.53

Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates

Marek Perkowski, Nouraddin Alhagi, Martin Lukac, Neha Saxena, Scott Blakely

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

4 Citations (Scopus)

Abstract

This paper presents synthesis of reversible circuits using the Y-gate. The standard reversible circuit has the same number of input and output signals. Such circuits are in general built from reversible gates that similarly have the same number of inputs and outputs. In new technologies, the Y-gate has unequal number of inputs and outputs and so the circuit composed of such gates can have either equal (standard model) or unequal numbers of input and output signals. We introduce the concepts of pseudo-reversible functions. First, a brief overview of reversible logic, Y-gates and Prolog, which form the foundation for this work, is presented. This is followed by the description of an exhaustive search algorithm that generates all circuits from Y gates under certain constraints. We give examples of synthesized circuits.

Original language	English
Title of host publication	ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic
Pages	245-251
Number of pages	7
DOIs	https://doi.org/10.1109/ISMVL.2010.53
Publication status	Published - Aug 12 2010
Event	40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 - Barcelona, Spain Duration: May 26 2010 → May 28 2010

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)	0195-623X

Other

Other	40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010
Country	Spain
City	Barcelona
Period	5/26/10 → 5/28/10

ASJC Scopus subject areas

Computer Science(all)
Mathematics(all)

Access to Document

10.1109/ISMVL.2010.53

Fingerprint Dive into the research topics of 'Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates'. Together they form a unique fingerprint.

Cite this

Perkowski, M., Alhagi, N., Lukac, M., Saxena, N., & Blakely, S. (2010). Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates. In ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic (pp. 245-251). [5489143] (Proceedings of The International Symposium on Multiple-Valued Logic). https://doi.org/10.1109/ISMVL.2010.53

Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates. / Perkowski, Marek; Alhagi, Nouraddin; Lukac, Martin; Saxena, Neha; Blakely, Scott.

ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic. 2010. p. 245-251 5489143 (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Perkowski, M, Alhagi, N, Lukac, M, Saxena, N & Blakely, S 2010, Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates. in ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic., 5489143, Proceedings of The International Symposium on Multiple-Valued Logic, pp. 245-251, 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010, Barcelona, Spain, 5/26/10. https://doi.org/10.1109/ISMVL.2010.53

@inproceedings{92f0c5884caf418d879726c552e560a9,

title = "Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates",

abstract = "This paper presents synthesis of reversible circuits using the Y-gate. The standard reversible circuit has the same number of input and output signals. Such circuits are in general built from reversible gates that similarly have the same number of inputs and outputs. In new technologies, the Y-gate has unequal number of inputs and outputs and so the circuit composed of such gates can have either equal (standard model) or unequal numbers of input and output signals. We introduce the concepts of pseudo-reversible functions. First, a brief overview of reversible logic, Y-gates and Prolog, which form the foundation for this work, is presented. This is followed by the description of an exhaustive search algorithm that generates all circuits from Y gates under certain constraints. We give examples of synthesized circuits.",

author = "Marek Perkowski and Nouraddin Alhagi and Martin Lukac and Neha Saxena and Scott Blakely",

year = "2010",

month = aug,

day = "12",

doi = "10.1109/ISMVL.2010.53",

language = "English",

isbn = "9780769540245",

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

pages = "245--251",

booktitle = "ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic",

note = "40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010 ; Conference date: 26-05-2010 Through 28-05-2010",

}

TY - GEN

T1 - Synthesis of small reversible and pseudo-reversible circuits using Y-gates and inverse Y-gates

AU - Perkowski, Marek

AU - Alhagi, Nouraddin

AU - Lukac, Martin

AU - Saxena, Neha

AU - Blakely, Scott

PY - 2010/8/12

Y1 - 2010/8/12

N2 - This paper presents synthesis of reversible circuits using the Y-gate. The standard reversible circuit has the same number of input and output signals. Such circuits are in general built from reversible gates that similarly have the same number of inputs and outputs. In new technologies, the Y-gate has unequal number of inputs and outputs and so the circuit composed of such gates can have either equal (standard model) or unequal numbers of input and output signals. We introduce the concepts of pseudo-reversible functions. First, a brief overview of reversible logic, Y-gates and Prolog, which form the foundation for this work, is presented. This is followed by the description of an exhaustive search algorithm that generates all circuits from Y gates under certain constraints. We give examples of synthesized circuits.

AB - This paper presents synthesis of reversible circuits using the Y-gate. The standard reversible circuit has the same number of input and output signals. Such circuits are in general built from reversible gates that similarly have the same number of inputs and outputs. In new technologies, the Y-gate has unequal number of inputs and outputs and so the circuit composed of such gates can have either equal (standard model) or unequal numbers of input and output signals. We introduce the concepts of pseudo-reversible functions. First, a brief overview of reversible logic, Y-gates and Prolog, which form the foundation for this work, is presented. This is followed by the description of an exhaustive search algorithm that generates all circuits from Y gates under certain constraints. We give examples of synthesized circuits.

UR - http://www.scopus.com/inward/record.url?scp=77955325952&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77955325952&partnerID=8YFLogxK

U2 - 10.1109/ISMVL.2010.53

DO - 10.1109/ISMVL.2010.53

M3 - Conference contribution

AN - SCOPUS:77955325952

SN - 9780769540245

T3 - Proceedings of The International Symposium on Multiple-Valued Logic

SP - 245

EP - 251

BT - ISMVL 2010 - 40th IEEE International Symposium on Multiple-Valued Logic

T2 - 40th IEEE International Symposium on Multiple-Valued Logic, ISMVL 2010

Y2 - 26 May 2010 through 28 May 2010

ER -