References
- R. K. Brayton and C. McMullen, "The Decomposition and Factorization of Boolean Epressions." Proc. ISCAS, pp. 49-54, 1982.
- R. K. Brayton, R. Rudell, A. Sangiovanni-Vincentelli, and A. R. Wang, " MIS: A Multiple-Level Logic Optimization System." IEEE Trans. CAD, Vol. 6, No. 6, pp. 1062-1081, 1987. DOI: http://dx.doi.org/10.1109/TCAD.1987.1270347
- E. M. Sentovich, K. J. Singh, C. Moon, H. Savoj, R. K. Brayton, R. K., and A. Sangiovanni-Vincentelli, "Sequential Circuit Design Using Synthesis and Optimization." Proc. ICCD, pp. 328-333, 1992.
- J. Rajski and J. Vasudevamurthy, "The testability-preserving concurrent decomposition and factorization of Boolean expressions," IEEE Trans. CAD, Vol. 11, No. 6, pp. 778-79, 1992. DOI: http://dx.doi.org/10.1109/43.137523
- D. Wu and J. Zhu, "BDD-based Two Variable Sharing Extraction," Proc. of Asia and South Pacific Design Automation Conference(ASPDAC), pp. 1031-1034, 2005.
- O.-H. Kwon,, "Common Expression Extraction Using Kernel-Kernel pairs," Journal of the Korea Academia-industrial cooperation Society, Vol. 12, No. 7, pp. 3251-3257, 2011. DOI: http://dx.doi.org/10.5762/KAIS.2011.12.7.3251
- O.-H. Kwon,, "Common Expression Extraction Using Two-cube Qoutient Matrices," Journal of the Korea Academia-industrial cooperation Society, Vol. 12, No. 8, pp. 3715-3722, 2011. DOI: http://dx.doi.org/10.5762/KAIS.2011.12.8.3715
- O.-H. Kwon,, "Common Expression Extraction Using Supports in Multiple-Output Logic," Journal of the Korea Institure of Information Technology, Vol. 9, No. 11, pp. 17-25, 2011.
- M. Morrison and N. Ranganathan, "Synthesis of Dual-Rail Adiabatic Logic for Low Power Security Applications," IEEE Trans. CAD, Vol. 33, No. 7, pp. 975-988, 2014. DOI: http://dx.doi.org/10.1109/TCAD.2014.2313454