Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Journal articles
  4. LUT-Based Hierarchical Reversible Logic Synthesis
 
research article

LUT-Based Hierarchical Reversible Logic Synthesis

Soeken, Mathias  
•
Roetteler, Martin
•
Wiebe, Nathan
Show more
September 1, 2019
Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems

We present a synthesis framework to map logic networks into quantum circuits for quantum computing. The synthesis framework is based on lookup-table (urn networks, which play a key role in conventional logic synthesis. Establishing a connection between LUTs in an LUT network and reversible single-target gates in a reversible network allows us to bridge conventional logic synthesis with logic synthesis for quantum computing, despite several fundamental differences. We call our synthesis framework LUT-based hierarchical reversible logic synthesis (LHRS). Input to LHRS is a classical logic network representing an arbitrary Boolean combinational operation; output is a quantum network (realized in terms of Clifford-FT gates). The framework allows one to account for qubit count requirements imposed by the overlying quantum algorithm or target quantum computing hardware. In a fast first step, an initial network is derived that only consists of single-target gates and already completely determines the number of qubits in the final quantum network. Different methods are then used to map each single-target gate into Clifibrd+T gates, while aiming at optimally using available resources. We demonstrate the versatility of our method by conducting a design space exploration using different parameters on a set of large combinational benchmarks. On the same benchmarks, we show that our approach can advance over the state-of-the-art hierarchical reversible logic synthesis algorithms.

  • Details
  • Metrics
Type
research article
DOI
10.1109/TCAD.2018.2859251
Web of Science ID

WOS:000482589800008

Author(s)
Soeken, Mathias  
•
Roetteler, Martin
•
Wiebe, Nathan
•
De Micheli, Giovanni  
Date Issued

2019-09-01

Publisher

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC

Published in
Ieee Transactions On Computer-Aided Design Of Integrated Circuits And Systems
Volume

38

Issue

9

Start page

1675

End page

1688

Subjects

Computer Science, Hardware & Architecture

•

Computer Science, Interdisciplinary Applications

•

Engineering, Electrical & Electronic

•

Computer Science

•

Engineering

•

combinational circuits

•

design automation

•

quantum computing

•

algorithm

•

optimization

•

design

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LSI1  
Available on Infoscience
September 11, 2019
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/161054
Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés