A resource-efficient design for a reversible floating point adder in quantum computing

Trung Duc Nguyen, Rodney D Van Meter

Research output: Contribution to journalArticle

3 Citations (Scopus)

Abstract

Reversible logic has applications in low-power computing and quantum computing. However, there are few existing designs for reversible floating-point adders and none suitable for quantum computation. In this article, we propose a resource-efficient reversible floating-point adder, suitable for binary quantum computation, improving the design of Nachtigal et al. [2011]. Our work focuses on improving the reversible designs of the alignment unit and the normalization unit, which are the most expensive parts. By changing a few elements of the existing algorithm, including the circuit designs of the RLZC (reversible leading zero counter) and converter, we have reduced the cost by about 68%. We also propose quantum designs adapted to use gates from fault-tolerant libraries. The KQ for our fault-tolerant design is almost 60 times as expensive as for a 32-bit fixed-point addition. We note that the floating-point representation makes in-place, truly reversible arithmetic impossible, requiring us to retain both inputs, which limits the sustainability of its use for quantum computation.

Original languageEnglish
Article numberA13
JournalACM Journal on Emerging Technologies in Computing Systems
Volume11
Issue number2
DOIs
Publication statusPublished - 2014 Oct 1

Fingerprint

Adders
Quantum computers
Sustainable development
Networks (circuits)
Costs

Keywords

  • Floating-point arithmetic
  • IEEE-754 specification
  • Low-power computing
  • Nano technology
  • Quantum computing
  • Reversible circuit

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software
  • Electrical and Electronic Engineering

Cite this

A resource-efficient design for a reversible floating point adder in quantum computing. / Nguyen, Trung Duc; Van Meter, Rodney D.

In: ACM Journal on Emerging Technologies in Computing Systems, Vol. 11, No. 2, A13, 01.10.2014.

Research output: Contribution to journalArticle

@article{e2df5a80552c4d54be9d6aef8bb78f01,
title = "A resource-efficient design for a reversible floating point adder in quantum computing",
abstract = "Reversible logic has applications in low-power computing and quantum computing. However, there are few existing designs for reversible floating-point adders and none suitable for quantum computation. In this article, we propose a resource-efficient reversible floating-point adder, suitable for binary quantum computation, improving the design of Nachtigal et al. [2011]. Our work focuses on improving the reversible designs of the alignment unit and the normalization unit, which are the most expensive parts. By changing a few elements of the existing algorithm, including the circuit designs of the RLZC (reversible leading zero counter) and converter, we have reduced the cost by about 68{\%}. We also propose quantum designs adapted to use gates from fault-tolerant libraries. The KQ for our fault-tolerant design is almost 60 times as expensive as for a 32-bit fixed-point addition. We note that the floating-point representation makes in-place, truly reversible arithmetic impossible, requiring us to retain both inputs, which limits the sustainability of its use for quantum computation.",
keywords = "Floating-point arithmetic, IEEE-754 specification, Low-power computing, Nano technology, Quantum computing, Reversible circuit",
author = "Nguyen, {Trung Duc} and {Van Meter}, {Rodney D}",
year = "2014",
month = "10",
day = "1",
doi = "10.1145/2629525",
language = "English",
volume = "11",
journal = "ACM Journal on Emerging Technologies in Computing Systems",
issn = "1550-4832",
publisher = "Association for Computing Machinery (ACM)",
number = "2",

}

TY - JOUR

T1 - A resource-efficient design for a reversible floating point adder in quantum computing

AU - Nguyen, Trung Duc

AU - Van Meter, Rodney D

PY - 2014/10/1

Y1 - 2014/10/1

N2 - Reversible logic has applications in low-power computing and quantum computing. However, there are few existing designs for reversible floating-point adders and none suitable for quantum computation. In this article, we propose a resource-efficient reversible floating-point adder, suitable for binary quantum computation, improving the design of Nachtigal et al. [2011]. Our work focuses on improving the reversible designs of the alignment unit and the normalization unit, which are the most expensive parts. By changing a few elements of the existing algorithm, including the circuit designs of the RLZC (reversible leading zero counter) and converter, we have reduced the cost by about 68%. We also propose quantum designs adapted to use gates from fault-tolerant libraries. The KQ for our fault-tolerant design is almost 60 times as expensive as for a 32-bit fixed-point addition. We note that the floating-point representation makes in-place, truly reversible arithmetic impossible, requiring us to retain both inputs, which limits the sustainability of its use for quantum computation.

AB - Reversible logic has applications in low-power computing and quantum computing. However, there are few existing designs for reversible floating-point adders and none suitable for quantum computation. In this article, we propose a resource-efficient reversible floating-point adder, suitable for binary quantum computation, improving the design of Nachtigal et al. [2011]. Our work focuses on improving the reversible designs of the alignment unit and the normalization unit, which are the most expensive parts. By changing a few elements of the existing algorithm, including the circuit designs of the RLZC (reversible leading zero counter) and converter, we have reduced the cost by about 68%. We also propose quantum designs adapted to use gates from fault-tolerant libraries. The KQ for our fault-tolerant design is almost 60 times as expensive as for a 32-bit fixed-point addition. We note that the floating-point representation makes in-place, truly reversible arithmetic impossible, requiring us to retain both inputs, which limits the sustainability of its use for quantum computation.

KW - Floating-point arithmetic

KW - IEEE-754 specification

KW - Low-power computing

KW - Nano technology

KW - Quantum computing

KW - Reversible circuit

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

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

U2 - 10.1145/2629525

DO - 10.1145/2629525

M3 - Article

VL - 11

JO - ACM Journal on Emerging Technologies in Computing Systems

JF - ACM Journal on Emerging Technologies in Computing Systems

SN - 1550-4832

IS - 2

M1 - A13

ER -