RevVis: Visualization of structures and properties in reversible circuits

Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler

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

1 Scopus citations


The recent interest in reversible computation led to plenty of (automatic) approaches for the design of the corresponding circuits. While this automation is desired in order to provide a proper support for the design of complex functionality, often a manual consideration and human intuition enable improvements or provide new ideas for design solutions. However, this manual interaction requires a good understanding of the structure or the properties of a reversible cascade which, with increasing circuit size, becomes harder to grasp. Visualization techniques that abstract irrelevant details and focus on intuitively displaying important structures or properties provide a solution to this problem and have already successfully been applied in other domains such as design of conventional software, hardware debugging, or Boolean satisfiability. In this work, we introduce RevVis, a graphical interface which visualizes structures and properties of reversible circuits. RevVis collects relevant data of a given reversible cascade and presents it in a simple but intuitive fashion. By this, RevVis unveils information on characteristic structures and properties of reversible circuits that could be utilized for further optimization. A case study demonstrates this by considering circuits obtained from several synthesis approaches.

Original languageEnglish
Title of host publicationReversible Computation - 6th International Conference, RC 2014, Proceedings
PublisherSpringer Verlag
Number of pages14
ISBN (Print)9783319084930
StatePublished - 2014
Externally publishedYes
Event6th International Conference on Reversible Computation, RC 2014 - Kyoto, Japan
Duration: 10 Jul 201411 Jul 2014

Publication series

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


Conference6th International Conference on Reversible Computation, RC 2014


Dive into the research topics of 'RevVis: Visualization of structures and properties in reversible circuits'. Together they form a unique fingerprint.

Cite this