RevKit: A Toolkit for Reversible Circuit Design

  title={RevKit: A Toolkit for Reversible Circuit Design},
  author={Mathias Soeken and Stefan Frehse and Robert Wille and Rolf Drechsler},
  journal={Multiple-Valued Logic and Soft Computing},
In recent years, research in the domain of reversible circuit design has attracted significant attention leading to many different approaches for e.g. synthesis, optimization, simulation, verification, and test. However, most of the resulting tools are not publicly available. In this paper, we introduce RevKit, an open source toolkit that aims to make recent developments in reversible circuit design accessible to other researchers. Therefore, a modular and extendable framework is provided which… CONTINUE READING
Highly Cited
This paper has 102 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 62 extracted citations

Parallelization and performance analysis of reversible circuit synthesis

2018 26th Signal Processing and Communications Applications Conference (SIU) • 2018
View 5 Excerpts
Highly Influenced

Reversible Computation

Iain Phillips Hafizur Rahaman
Lecture Notes in Computer Science • 2017
View 20 Excerpts
Highly Influenced

A multiobjective approach to linear nearest neighbor optimization for 2D quantum circuits

2016 XLII Latin American Computing Conference (CLEI) • 2016
View 4 Excerpts
Highly Influenced

Pr Rogram M Proceeding Gs Program Chairs

View 4 Excerpts
Highly Influenced

A Cycle Based Reversible Logic Synthesis Approach

2013 Third International Conference on Advances in Computing and Communications • 2013
View 3 Excerpts
Highly Influenced

103 Citations

Citations per Year
Semantic Scholar estimates that this publication has 103 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 34 references

Reversible Computing

ICALP • 1980
View 7 Excerpts
Highly Influenced

Window optimization of reversible and quantum circuits

13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems • 2010
View 1 Excerpt

BDD-based synthesis of reversible logic for large functions

2009 46th ACM/IEEE Design Automation Conference • 2009
View 2 Excerpts

Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems • 2009
View 1 Excerpt

Reversible Logic Synthesis with Output Permutation

2009 22nd International Conference on VLSI Design • 2009
View 1 Excerpt

Similar Papers

Loading similar papers…