RevKit: A Toolkit for Reversible Circuit Design

Abstract

Abstract—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. I. INTRODUCTION AND BACKGROUND The development of computing machines has found great success in the last decades. Nowadays billions of components are built on a few square centimeters – and this increasing