RevKit: A Toolkit for Reversible Circuit Design

MATHIAS SOEKEN, STEFAN FREHSE, ROBERTWILLE AND ROLF DRECHSLER

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 easily enables the addition of new methods and tools. RevKit already provides some of the existing approaches for synthesis, optimization, and verification functionality.

Keywords: reversible logic, circuit design, synthesis, optimization, verification 1