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)

Abstract

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.

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

Publikationsreihe

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

Konferenz

Konferenz6th International Conference on Reversible Computation, RC 2014
Land/GebietJapan
OrtKyoto
Zeitraum10/07/1411/07/14

Fingerprint

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

Dieses zitieren