RevLib: An Online Resource for Reversible Functions and Reversible Circuits

TLDR

Reversible logic synthesis has become an active research area, yet most algorithms are tested on limited benchmarks and reported only by gate counts or quantum costs rather than full circuit details. RevLib is introduced as an online resource to facilitate evaluation and comparison of reversible logic methods. It provides a large database of functions with corresponding circuit realizations and tools to support researchers in algorithm evaluation and result documentation.

Abstract

Synthesis of reversible logic has become an active research area in the last years. But many proposed algorithms are evaluated with a small set of benchmarks only. Furthermore, results are often documented only in terms of gate counts or quantum costs, rather than presenting the specific circuit. In this paper RevLib (www.revlib.org) is introduced, an online resource for reversible functions and reversible circuits. RevLib provides a large database of functions with respective circuit realizations. RevLib is designed to ease the evaluation of new methods and facilitate the comparison of results. In addition, tools are introduced to support researchers in evaluating their algorithms and documenting their results.