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 13 articles )

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

  1. AlFailakawi, Mohammad; Ahmad, Imtiaz; AlTerkawi, Laila; Hamdan, Suha: Depth optimization for topological quantum circuits (2015)
  2. 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)
  3. Niemann, Philipp; Wille, Robert; Drechsler, Rolf: Equivalence checking in multi-level quantum systems (2014)
  4. Pang, Yu; Yan, Yafeng; Lin, Jinzhao; Huang, Huawei; Wu, Wei: An efficient method to synthesize reversible logic by using positive Davio decision diagrams (2014)
  5. Rahman, Md Zamilur; Rice, Jacqueline E.: Templates for positive and negative control toffoli networks (2014)
  6. Wille, Robert; Lye, Aaron; Drechsler, Rolf: Considering nearest neighbor constraints of quantum circuits at the reversible circuit level (2014)
  7. AlFailakawi, Mohammad; AlTerkawi, Laila; Ahmad, Imtiaz; Hamdan, Suha: Line ordering of reversible circuits for linear nearest neighbor realization (2013)
  8. Datta, Kamalika; Rathi, Gaurav; Wille, Robert; Sengupta, Indranil; Rahaman, Hafizur; Drechsler, Rolf: Exploiting negative control lines in the optimization of reversible circuits (2013)
  9. Sasanian, Zahra; Miller, D.Michael: Reversible and quantum circuit optimization: a functional approach (2013)
  10. Sasanian, Zahra; Miller, D.Michael: Mapping a multiple-control Toffoli gate cascade to an elementary quantum gate circuit (2012)
  11. Saeedi, Mehdi; Wille, Robert; Drechsler, Rolf: Synthesis of quantum circuits for linear nearest neighbor architectures (2011)
  12. Wille, Robert; Drechsler, Rolf: Towards a design flow for reversible logic (2010)
  13. Wille, Robert; Drechsler, Rolf: Effect of BDD optimization on synthesis of reversible and quantum logic (2010)