RevLib: An Online Resource for Reversible Functions and Reversible Circuits

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.

[1]  Niraj K. Jha,et al.  An Algorithm for Synthesis of Reversible Logic Circuits , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[2]  Pérès,et al.  Reversible logic and quantum computers. , 1985, Physical review. A, General physics.

[3]  John P. Hayes,et al.  Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[4]  R Fisher,et al.  Design of Experiments , 1936 .

[5]  Barenco,et al.  Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[6]  Rolf Drechsler,et al.  Design of experiments in CAD: context and new data sets for ISCAS'99 , 1999, ISCAS'99. Proceedings of the 1999 IEEE International Symposium on Circuits and Systems VLSI (Cat. No.99CH36349).

[7]  Tommaso Toffoli,et al.  Reversible Computing , 1980, ICALP.

[8]  Gerhard Reinelt,et al.  TSPLIB - A Traveling Salesman Problem Library , 1991, INFORMS J. Comput..

[9]  Thomas Stützle,et al.  SATLIB: An Online Resource for Research on SAT , 2000 .

[10]  Gerhard W. Dueck,et al.  A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[11]  Rolf Drechsler,et al.  Exact sat-based toffoli network synthesis , 2007, GLSVLSI '07.

[12]  Gerhard W. Dueck,et al.  Toffoli network synthesis with templates , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[13]  Guowu Yang,et al.  Optimal synthesis of multiple output Boolean functions using a set of quantum gates by symbolic reachability analysis , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  Robert Wille,et al.  Quantified Synthesis of Reversible Logic , 2008, 2008 Design, Automation and Test in Europe.

[15]  Robert Wille,et al.  Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).

[16]  Gerhard W. Dueck,et al.  Reversible cascades with minimal garbage , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[17]  Niraj K. Jha,et al.  Synthesis of reversible logic , 2004, Proceedings Design, Automation and Test in Europe Conference and Exhibition.

[18]  T. Toffoli,et al.  Conservative logic , 2002, Collision-Based Computing.

[19]  Robert Wille,et al.  Fast exact Toffoli network synthesis of reversible logic , 2007, ICCAD 2007.