Majority-Inverter Graph: A novel data-structure and algorithms for efficient logic optimization
暂无分享,去创建一个
Giovanni De Micheli | Luca Gaetano Amarù | Pierre-Emmanuel Gaillardon | G. Micheli | L. Amarù | P. Gaillardon
[1] P. R. Stephan,et al. SIS : A System for Sequential Circuit Synthesis , 1992 .
[2] Hans-Jürgen Bandelt,et al. Median algebras , 1983, Discret. Math..
[3] G. De Micheli,et al. Polarity control in double-gate, gate-all-around vertically stacked silicon nanowire FETs , 2012, 2012 International Electron Devices Meeting.
[4] Alberto L. Sangiovanni-Vincentelli,et al. Multiple-Valued Minimization for PLA Optimization , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[5] Giovanni De Micheli,et al. Synthesis and Optimization of Digital Circuits , 1994 .
[6] Randal E. Bryant,et al. Graph-Based Algorithms for Boolean Function Manipulation , 1986, IEEE Transactions on Computers.
[7] Robert K. Brayton,et al. Multiple-Level Logic Optimization System , 2003 .
[8] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[9] P. D. Tougaw,et al. Logical devices implemented using quantum cellular automata , 1994 .
[10] Samson Abramsky,et al. Domain Theory in Logical Form , 1991, LICS.
[11] Wolfgang Porod,et al. Device and Architecture Outlook for Beyond CMOS Switches , 2010, Proceedings of the IEEE.
[12] M. Stone. The theory of representations for Boolean algebras , 1936 .
[13] David Thomas,et al. The Art in Computer Programming , 2001 .
[14] Congguang Yang,et al. BDD-BASED LOGIC OPTIMIZATION SYSTEM , 2000 .
[15] Maciej J. Ciesielski,et al. BDS: a BDD-based logic optimization system , 2000, DAC.
[16] G. Birkhoff,et al. A ternary operation in distributive lattices , 1947 .
[17] Robert K. Brayton,et al. MIS: A Multiple-Level Logic Optimization System , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[18] Tsutomu Sasao,et al. Switching Theory for Logic Synthesis , 1999, Springer US.
[19] Robert K. Brayton,et al. ABC: An Academic Industrial-Strength Verification Tool , 2010, CAV.