RevLib is an online resource for benchmarks within the domain of reversible and quantum circuit design
Universität Bremen References Cite RevLib Acknowledgements About RevLib
Publications


WSSD:2013 Robert Wille, Eleonora Schönborn, Mathias Soeken, and Rolf Drechsler: SyReC: A Hardware Description Language for the Specification and Synthesis of Reversible Circuits. submitted, 2013
Bib-TeX
   
WSG+:2011 Robert Wille, Mathias Soeken, Daniel Große, Eleonora Schönborn, Rolf Drechsler: Designing a RISC CPU in Reversible Logic. Int\'l Symp. on Multi-Valued Logic, 2011
Bib-TeX
   
SZSS:2010 M. Saeedi, M. S. Zamani, M. Sedighi, Z. Sasanian: Synthesis of Reversible Circuit Using Cycle-Based Approach. ACM Journal of Emerging Technologies in Computing Systems, 2010
Bib-TeX
   
SWD:2010 M. Soeken, R. Wille, R. Drechsler: Hierarchical synthesis of reversible circuits using positive and negative Davio decomposition. International Design & Test Workshop, 2010
Bib-TeX
   
WOD:2010 Robert Wille, Sebastian Offermann, Rolf Drechsler: SyReC: A Programming Language for Synthesis of Reversible Circuits. Forum on specification & Design Languages, 2010
Download - Bib-TeX
   
WD:2009 R. Wille, R. Drechsler: BDD-based synthesis of reversible logic for large functions. Design Automation Conf., 2009
Download - Bib-TeX
   
GWDD:2008 Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler: Exact Synthesis of Elementary Quantum Gate Circuits for Reversible Functions with Don't Cares. Int'l Symp. on Multi-Valued Logic, 2008
Download - Bib-TeX
   
WLDG:2008 Robert Wille, Hoang M. Le, Gerhard W. Dueck, Daniel Große: Quantified Synthesis of Reversible Logic. Design, Automation and Test in Europe, 2008
Download - Bib-TeX
   
Sae:2008 M. Saeedi: QDA Reversible Benchmarks. http://ceit.aut.ac.ir/qda/benchmarks.htm, 2008
Bib-TeX
   
WG:2007 Robert Wille, Daniel Große: Fast Exact Toffoli Network Synthesis of Reversible Logic. Int'l Conf. on CAD, 2007
Download - Bib-TeX
   
FTR:2007 K. Fazel, M.A. Thornton, J.E. Rice: ESOP-based Toffoli Gate Cascade Generation. Proceedings of the IEEE Pacific Rim Conference on Communications, 2007
Bib-TeX
   
GAJ:2006 P. Gupta, A. Agrawal, N.K. Jha: An algorithm for synthesis of reversible logic circuits. IEEE Trans. on CAD, 2006
Bib-TeX
   
MDS:2005 Dmitri Maslov, Gerhard W. Dueck, Nathan Scott: Reversible Logic Synthesis Benchmarks Page. http://webhome.cs.uvic.ca/~dmaslov/, 2005
Bib-TeX
   
MDM:2005 Dmitri Maslov, Gerhard W. Dueck, D. Michael Miller: Toffoli network synthesis with templates. IEEE Trans. on CAD, 2005
Bib-TeX
   
MMD:2003 D. Michael Miller, Dmitri Maslov, Gerhard W. Dueck: A Transformation Based Algorithm for Reversible Logic Synthesis. Design Automation Conference, 2003
Bib-TeX
   
Mil:2002 D. M. Miller: Spectral and Two-Place Decomposition Techniques in Reversible Logic. Midwest Symposium on Circuits and Systems, 2002
Bib-TeX
   
BLSW:1999 Beate Bollig, Martin Löbbing, Martin Sauerhoff, Ingo Wegener: On The Complexity of the Hidden Weighted Bit Function for Various BDD Models. Informatique Theorique et Applications, 1999
Bib-TeX
   
BBC+:99 A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVinchenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, H. Weinfurter: Elementary Gates for Quantum Computation. APS Physical Review A, 1995
Bib-TeX
   
Per:85 A. Peres: Reversible logic and quantum computers. APS Physical Review A, 1985
Bib-TeX
   
FT:82 E. F. Fredkin, T. Toffoli: Conservative Logic. International Journal of Theoretical Physics, 1982
Bib-TeX
   
Tof:80 T. Toffoli: Reversible Computing. Automata, Languages and Programming, 1980
Bib-TeX
   

























































 back