TY - GEN
T1 - RevKit
T2 - 3rd International Workshop on Reversible Computation, RC 2011
AU - Soeken, Mathias
AU - Frehse, Stefan
AU - Wille, Robert
AU - Drechsler, Rolf
PY - 2012
Y1 - 2012
N2 - 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 to other researchers. For this purpose, a modular and extendable 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.
AB - 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 to other researchers. For this purpose, a modular and extendable 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.
UR - http://www.scopus.com/inward/record.url?scp=84860807692&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-29517-1_6
DO - 10.1007/978-3-642-29517-1_6
M3 - Conference contribution
AN - SCOPUS:84860807692
SN - 9783642295164
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 64
EP - 76
BT - Reversible Computation - Third International Workshop, RC 2011, Revised Papers
Y2 - 4 July 2011 through 5 July 2011
ER -