RevVis: Visualization of structures and properties in reversible circuits

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

1 Zitat (Scopus)


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.

TitelReversible Computation - 6th International Conference, RC 2014, Proceedings
Herausgeber (Verlag)Springer Verlag
ISBN (Print)9783319084930
PublikationsstatusVeröffentlicht - 2014
Extern publiziertJa
Veranstaltung6th International Conference on Reversible Computation, RC 2014 - Kyoto, Japan
Dauer: 10 Juli 201411 Juli 2014


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


Konferenz6th International Conference on Reversible Computation, RC 2014


Untersuchen Sie die Forschungsthemen von „RevVis: Visualization of structures and properties in reversible circuits“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren