Reversible Logic Synthesis with Output Permutation
暂无分享,去创建一个
Robert Wille | Rolf Drechsler | Gerhard W. Dueck | Daniel Große | R. Drechsler | R. Wille | G. Dueck | Daniel Große
[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] Robert Wille,et al. Quantified Synthesis of Reversible Logic , 2008, 2008 Design, Automation and Test in Europe.
[3] Rolf Drechsler,et al. Exact sat-based toffoli network synthesis , 2007, GLSVLSI '07.
[4] Gerhard W. Dueck,et al. Toffoli network synthesis with templates , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[5] Leo Storme,et al. Group Theoretical Aspects of Reversible Logic Gates , 1999, J. Univers. Comput. Sci..
[6] Gerhard W. Dueck,et al. A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
[7] J. P. Marques,et al. GRASP : A Search Algorithm for Propositional Satisfiability , 1999 .
[8] Guowu Yang,et al. Fast synthesis of exact minimal reversible circuits using group theory , 2005, Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005..
[9] Barenco,et al. Elementary gates for quantum computation. , 1995, Physical review. A, Atomic, molecular, and optical physics.
[10] John P. Hayes,et al. Reversible logic circuit synthesis , 2002, IWLS.
[11] R. Rudell. Dynamic variable ordering for ordered binary decision diagrams , 1993, ICCAD 1993.
[12] Pérès,et al. Reversible logic and quantum computers. , 1985, Physical review. A, General physics.
[13] Thierry Paul,et al. Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.
[14] Robert Wille,et al. Fast exact Toffoli network synthesis of reversible logic , 2007, ICCAD 2007.
[15] Tommaso Toffoli,et al. Reversible Computing , 1980, ICALP.
[16] Robert Wille,et al. RevLib: An Online Resource for Reversible Functions and Reversible Circuits , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).
[17] 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.
[18] 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).
[19] Robert Wille,et al. SWORD: A SAT like prover using word level information , 2007, VLSI-SoC.
[20] Gerhard W. Dueck,et al. Spectral Techniques for Reversible Logic Synthesis , 2002 .
[21] Gerhard W. Dueck,et al. Reversible cascades with minimal garbage , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[22] T. Toffoli,et al. Conservative logic , 2002, Collision-Based Computing.
[23] Morteza Saheb Zamani,et al. A novel synthesis algorithm for reversible circuits , 2007, ICCAD 2007.