RevKit: An Open Source Toolkit for the Design of Reversible Circuits

Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler

In: Reversible Computation 2011, Series: Lecture Notes in Computer Science (LNCS) Reversible Computation. Workshop on Reversible Computation (RC-2011) 3rd July 4-5 Gent Belgium Seiten 64-76 Lecture Notes in Computer Science (LNCS) 7165 Springer 2012.


In recent years, research in the domain of reversible circuit design has attracted significant attention leading to many different approaches e.g. for synthesis, optimization, simulation, verification and test. The open source toolkit RevKit is an attempt to make these developments publicly available for other researchers. For this purpose, a modular and extended framework has been provided which easily enables the addition of new methods and tools. In this paper, we introduce the functionality as well as the internals of RevKit. We provide examples and use cases showing how to apply RevKit and its components in order to create and execute customized design flows. Furthermore, we demonstrate how the architecture and the design concepts of RevKit can be exploited to easily develop new or improved methods for reversible circuit design.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence