Improving ESOP-based synthesis of reversible logic using evolutionary algorithms

Rolf Drechsler, Alexander Finder, Robert Wille

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

28 Scopus citations

Abstract

Reversible circuits, i.e. circuits which map each possible input vector to a unique output vector, build the basis for emerging applications e.g. in the domain of low-power design or quantum computation. As a result, researchers developed various approaches for synthesis of this kind of logic. In this paper, we consider the ESOP-based synthesis method. Here, functions given as Exclusive Sum of Products (ESOPs) are realized. In contrast to conventional circuit optimization, the quality of the resulting circuits depends thereby not only on the number of product terms, but on further criteria as well. In this paper, we present an approach based on an evolutionary algorithm which optimizes the function description with respect to these criteria. Instead of ESOPs, Pseudo Kronecker Expression (PSDKRO) are thereby utilized enabling minimization within reasonable time bounds. Experimental results confirm that the proposed approach enables the realization of circuits with significantly less cost.

Original languageEnglish
Title of host publicationApplications of Evolutionary Computation - EvoApplications 2011
Subtitle of host publicationEvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, Proceedings
Pages151-161
Number of pages11
EditionPART 2
DOIs
StatePublished - 2011
Externally publishedYes
EventEvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, EvoApplications 2011 - Torino, Italy
Duration: 27 Apr 201129 Apr 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 2
Volume6625 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceEvoCOMNET, EvoFIN, EvoHOT, EvoMUSART, EvoSTIM, and EvoTRANSLOG, EvoApplications 2011
Country/TerritoryItaly
CityTorino
Period27/04/1129/04/11

Keywords

  • Evolutionary Algorithms
  • Exclusive Sum of Products
  • Optimization
  • Pseudo Kronecker Expressions
  • Reversible Logic
  • Synthesis

Fingerprint

Dive into the research topics of 'Improving ESOP-based synthesis of reversible logic using evolutionary algorithms'. Together they form a unique fingerprint.

Cite this