Cofactor Sharing for Reversible Logic Synthesis

Abstract

Improving circuit realization of known quantum algorithms by CAD techniques has benefits for quantum experimentalists. In this article, the problem of synthesizing a given function on a set of ancillea is addressed. The proposed approach benefits from extensive sharing of cofactors among cubes that appear on function outputs. Accordingly, it can be considered a multilevel logic optimization technique for reversible circuits. In particular, the suggested approach can efficiently implement any n -input, m -output lookup table (LUT) by a reversible circuit. This problem has interesting applications in the Shor's number-factoring algorithm and in quantum walk on sparse graphs. Simulation results reveal that the proposed cofactor-sharing synthesis algorithm has a significant impact on reducing the size of modular exponentiation circuits for Shor's quantum factoring algorithm, oracle circuits in quantum walk on sparse graphs, and the well-known MCNC benchmarks.

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 18, 2014
Source ID
10.1145/2629524

Entities

People

  • Alireza Shafaei
  • Massoud Pedram
  • Mehdi Saeedi

Organizations

  • Intelligence Advanced Research Projects Activity
  • United States Department of the Interior
  • University of Southern California

Tags

Fields of Study

  • Computer science

Readers

  • Computer Engineering
  • Computer Programming and Software Development.
  • Quantum Dot Semiconductor Device Photonics and Graphene Optoelectronic Materials and THz Physics.

Technology Areas

  • Quantum Computing