A synthesis flow for sequential reversible circuits

Mathias Soeken, Robert Wille, Christian Otterstedt, Rolf Drechsler

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

7 Scopus citations

Abstract

In this paper, a synthesis flow for sequential reversible circuits is proposed. In particular, a methodology is introduced which transforms a finite state machine into a Boolean function representing the sequential behavior. Having that, any combinational synthesis approach can be exploited in order to perform the actual synthesis. Heuristics ensure that encodings for the states are applied which keep the costs of the resulting circuits low. Experiments show the applicability of the approach.

Original languageEnglish
Title of host publicationProceedings - IEEE 42nd International Symposium on Multiple-Valued Logic, ISMVL 2012
Pages299-304
Number of pages6
DOIs
StatePublished - 2012
Externally publishedYes
Event42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012 - Victoria, BC, Canada
Duration: 14 May 201216 May 2012

Publication series

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

Conference

Conference42nd IEEE International Symposium on Multiple-Valued Logic, ISMVL 2012
Country/TerritoryCanada
CityVictoria, BC
Period14/05/1216/05/12

Fingerprint

Dive into the research topics of 'A synthesis flow for sequential reversible circuits'. Together they form a unique fingerprint.

Cite this