Journal of the Korea Academia-Industrial cooperation Society (한국산학기술학회논문지)

The Korea Academia-Industrial cooperation Society (한국산학기술학회)
권호 표지
DOI QR코드

DOI QR Code

Boolean Factorization Using Two-cube Non-kernels

2-큐브 비커널을 이용한 부울 분해식 산출

  • Kwon, Oh-Hyeong (Division of Electroinc, Computer, and Communication, Hanseo University) ;
  • Chun, Byung-Tae (Dept. of Web Information Engineering, Hankyong National University)
  • 권오형 (한서대학교 전자컴퓨터통신학부) ;
  • 전병태 (한경대학교 웹정보공학과)
  • Received : 2010.10.29
  • Accepted : 2010.11.19
  • Published : 2010.11.30
Download PDF
⟨ Previous Next ⟩

Abstract

A factorization is a very important part of multi-level logic synthesis. The number of literals in a factored form is an estimate of the complexity of a logic function, and can be translated directly into the number of transistors required for implementation. Factored forms are described as either algebraic or Boolean, according to the trade-off between run-time and optimization. A Boolean factored form contains fewer number of literals than an algebraic factored form. In this paper, we present a new method for a Boolean factorization. The key idea is to identify two-cube nonkernel Boolean pairs from given expression. Experimental results on various benchmark circuits show the improvements in literal counts over previous other factorization methods.

분해식 산출은 다단 논리식 산출에 매우 중요한 부분을 담당한다. 분해식의 리터럴 개수는 논리함수의 복잡도를 나타내는 기준이 되며, 또한 논리식을 회로로 구현할 경우 리터럴의 개수는 트랜지스터의 개수와 비례하게 된다. 분해식을 산출하는 수행시간과 최적화의 적정성을 맞추기 위해 분해식은 대수 분해식과 부울 분해식 산출로 구분하며, 부울 분해식이 대수 분해식보다 적은 리터럴 개수로 같은 논리식을 표현할 수 있다. 본 논문에서는 부울 분해식을 산출하기 위한 방법을 제시한다. 제안하는 핵심 방법은 2개의 2-큐브 비커널을 이용하여 이들의 곱을 구하여 부울 분해식을 산출하는 것이다. 벤치마크 회로를 통한 실험 결과 이전의 다른 분해식 산출 방법들보다 리터럴 개수를 줄일 수 있었다.

Keywords

References

  1. E. Lawler, "An Approach to Multilevel Boolean Minimization," Journal of ACM, Vol. 11, No. 3, pp. 283-295, 1964. https://doi.org/10.1145/321229.321232
  2. R. K. Brayton and C. McMullen, "The Decomposition and Factorization of Boolean Epressions," Proc. ISCAS, pp. 49-54, 1982.
  3. 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. https://doi.org/10.1109/TCAD.1987.1270347
  4. R. K. Brayton, R. Rudell, A. Sangiovanni-Vincentelli, and A. Wang, "Multi-Level Logic Optimization and the Rectangle Covering Problem," Proc. ICCAD, pp.66-69, 1987.
  5. 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. https://doi.org/10.1109/ICCD.1992.276282
  6. S. Liao, S. Devadas, and A. Ghosh, "Boolean Factoring Using Multiple-Valued Minimization," Proc. ICCAD, pp. 606-611, 1993. https://doi.org/10.1109/ICCAD.1993.580122
  7. T. Stanion and C. Sechen, "Boolean Division and Factorization Using Binary Decision Diagrams," IEEE Trans. CAD, Vol. 13, No. 9, pp. 1179-1184, 1994. https://doi.org/10.1109/43.310907
  8. O.-H. Kwon, S. J. Hong, and J. Kim, "A Boolean Factorization Using and Extended Boolean Matrix," IEICE Trans. Inf. and Sys., Vol. E81-D, No. 12, pp.1466-1472, 1998.
  9. C. Yang and M. Ciesielski, "BDS: A Boolean BDD-Based Logic Optimization System," IEEE Trans. CAD, Vol. 21, No. 7, pp. 866-876. 2002. https://doi.org/10.1109/TCAD.2002.1013899
  10. N. Modi and J. Cortadella, "Boolean Decomposition Using Two-literal Divisors," Proc. of 17th International Conference on VLSI Design, pp. 765-768, 2004. https://doi.org/10.1109/ICVD.2004.1261022
  11. A. Mintz and M. C. Golumbic, "Factoring Boolean Functions Using Graph Partitioning," Discrete Applied Mathematics, Vol. 149, pp. 131-153, 2005. https://doi.org/10.1016/j.dam.2005.02.007
  12. 권오형, "부울 대입에 의한 논리식 최적화," 한국산학기술학회 논문지, 제10권, 제11호, pp. 3227-3233, 2009. https://doi.org/10.5762/KAIS.2009.10.11.3227
  13. 정준모, "SoC 내의 효율적인 Test Wrapper 설계," 한국산학기술학회 논문지, 제10권, 제6호, pp. 1191-1195, 2009. https://doi.org/10.5762/KAIS.2009.10.6.1191

Cited by

  1. Common Expression Extraction Using Kernel-Kernel pairs vol.12, pp.7, 2011, https://doi.org/10.5762/KAIS.2011.12.7.3251
  2. Common Expression Extraction Using Two-cube Quotient Matrices vol.12, pp.8, 2011, https://doi.org/10.5762/KAIS.2011.12.8.3715