RevLib: An Online Resource for Reversible Functions and Reversible Circuits
Top Cited Papers
- 1 May 2008
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 37th International Symposium on Multiple-Valued Logic (SMVLL'07)
- p. 220-225
- https://doi.org/10.1109/ismvl.2008.43
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.Keywords
This publication has 13 references indexed in Scilit:
- Quantified Synthesis of Reversible LogicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Exact sat-based toffoli network synthesisPublished by Association for Computing Machinery (ACM) ,2007
- Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysisIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2006
- Toffoli network synthesis with templatesIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2005
- Reversible Cascades With Minimal GarbageIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2004
- Synthesis of reversible logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- A transformation based algorithm for reversible logic synthesisPublished by Association for Computing Machinery (ACM) ,2003
- Synthesis of reversible logic circuitsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2003
- Elementary gates for quantum computationPhysical Review A, 1995
- Reversible logic and quantum computersPhysical Review A, 1985