Publication

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 Pages 64-76 Lecture Notes in Computer Science (LNCS) 7165 Springer 2012.

Abstract

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.

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