RevLib

RevLib is an online resource for benchmarks within the domain of reversible and quantum circuit design. It provides a database of functions (including HDL descriptions) with respective circuit realizations given in a appropriate format. RevLib is the main file format for RevKit, a public domain toolkit for reversible circuit design. Researchers are welcome to submit own functions or circuits to RevLib.


References in zbMATH (referenced in 17 articles )

Showing results 1 to 17 of 17.
Sorted by year (citations)

  1. Valiron, Beno^ıt: Generating reversible circuits from higher-order functional programs (2016)
  2. Wille, Robert; Lye, Aaron; Niemann, Philipp: Checking reversibility of Boolean functions (2016)
  3. Wille, Robert; Quetschlich, Nils; Inoue, Yuma; Yasuda, Norihito; Minato, Shin-ichi: Using $\pi$DDs for nearest neighbor optimization of quantum circuits (2016)
  4. Zakablukov, Dmitry V.: Application of permutation group theory in reversible logic synthesis (2016)
  5. AlFailakawi, Mohammad; Ahmad, Imtiaz; AlTerkawi, Laila; Hamdan, Suha: Depth optimization for topological quantum circuits (2015)
  6. Brown, Katherine L.; Daskin, Anmer; Kais, Sabre; Dowling, Jonathan P.: Reducing the number of ancilla qubits and the gate count required for creating large controlled operations (2015)
  7. Abdessaied, Nabila; Soeken, Mathias; Drechsler, Rolf: Quantum circuit optimization by Hadamard gate reduction (2014)
  8. Niemann, Philipp; Wille, Robert; Drechsler, Rolf: Equivalence checking in multi-level quantum systems (2014)
  9. Pang, Yu; Yan, Yafeng; Lin, Jinzhao; Huang, Huawei; Wu, Wei: An efficient method to synthesize reversible logic by using positive Davio decision diagrams (2014)
  10. Rahman, Md Zamilur; Rice, Jacqueline E.: Templates for positive and negative control toffoli networks (2014)
  11. Wille, Robert; Lye, Aaron; Drechsler, Rolf: Considering nearest neighbor constraints of quantum circuits at the reversible circuit level (2014)
  12. AlFailakawi, Mohammad; AlTerkawi, Laila; Ahmad, Imtiaz; Hamdan, Suha: Line ordering of reversible circuits for linear nearest neighbor realization (2013)
  13. Datta, Kamalika; Rathi, Gaurav; Wille, Robert; Sengupta, Indranil; Rahaman, Hafizur; Drechsler, Rolf: Exploiting negative control lines in the optimization of reversible circuits (2013)
  14. Sasanian, Zahra; Miller, D.Michael: Reversible and quantum circuit optimization: a functional approach (2013)
  15. Sasanian, Zahra; Miller, D.Michael: Mapping a multiple-control Toffoli gate cascade to an elementary quantum gate circuit (2012)
  16. Saeedi, Mehdi; Wille, Robert; Drechsler, Rolf: Synthesis of quantum circuits for linear nearest neighbor architectures (2011)
  17. Wille, Robert; Drechsler, Rolf: Towards a design flow for reversible logic (2010)