Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
暂无分享,去创建一个
[1] R. Merkle. Reversible electronic logic using switches , 1993 .
[2] John P. Hayes,et al. Synthesis of reversible logic circuits , 2003, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[3] Robert Wille,et al. RevLib: An Online Resource for Reversible Functions and Reversible Circuits , 2008, 38th International Symposium on Multiple Valued Logic (ismvl 2008).
[4] Pérès,et al. Reversible logic and quantum computers. , 1985, Physical review. A, General physics.
[5] Thierry Paul,et al. Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.
[6] 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.
[7] Robert Wille,et al. Quantified Synthesis of Reversible Logic , 2008, 2008 Design, Automation and Test in Europe.
[8] Charles H. Bennett,et al. Logical reversibility of computation , 1973 .
[9] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[10] Tae Sun Kim,et al. An Efficient Method for Optimal BDD Ordering Computation , 1993 .
[11] Pawel Kerntopf,et al. A new heuristic algorithm for reversible logic synthesis , 2004, Proceedings. 41st Design Automation Conference, 2004..
[12] Tommaso Toffoli,et al. Reversible Computing , 1980, ICALP.
[13] Gerhard W. Dueck,et al. A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
[14] R. Rudell. Dynamic variable ordering for ordered binary decision diagrams , 1993, Proceedings of 1993 International Conference on Computer Aided Design (ICCAD).
[15] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[16] T. Toffoli,et al. Conservative logic , 2002, Collision-Based Computing.
[17] R Cuykendall,et al. Reversible optical computing circuits. , 1987, Optics letters.
[18] Robert Wille,et al. BDD-based synthesis of reversible logic for large functions , 2009, 2009 46th ACM/IEEE Design Automation Conference.
[19] Rolf Landauer,et al. Irreversibility and heat generation in the computing process , 1961, IBM J. Res. Dev..
[20] Gerhard W. Dueck,et al. Techniques for the synthesis of reversible Toffoli networks , 2006, TODE.
[21] Gerhard W. Dueck,et al. Toffoli network synthesis with templates , 2005, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[22] Randal E. Bryant,et al. Efficient implementation of a BDD package , 1991, DAC '90.
[23] Sofia Cassel,et al. Graph-Based Algorithms for Boolean Function Manipulation , 2012 .
[24] 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.