Journal of KIISE:Computer Systems and Theory (한국정보과학회논문지:시스템및이론)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Optimization of OPKDDs using Genetic Algorithms

유전자 알고리즘을 이용한 OPKFDD의 최적화

  • 정미경 (전남대학교 전산학과) ;
  • 신윤정 (광주대학교 컴퓨터전자통신공학부) ;
  • 이귀상 (전남대학교 전산학과 정보통신연구소) ;
  • 장준영 (한국전자통신연구원 집적회로설계연구부) ;
  • 배영환 (한국전자통신연구원 집적회로설계연구부) ;
  • 조한진 (한국전자통신연구원 집적회로설계연구부)
  • Published : 2000.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 확장방법(decomposition)을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류로서 각 노드마다 Shannon, positive Davio, negative Davio 확장중의 하나를 사용하도록 하며 다른 종류의 DD와 비교해서 작은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방법과 입력 변수 순서의 결정에 의해서 OPKFDD의 크기가 좌우되며 최소의 노드 수를 갖는 OPKFDD의 구성은 매우 어려운 문제로 알려져 있다. 즉, OPKFDD에서의 입력변수와 각 노드의 확장 방법을 병행해서 최적의 해를 구하기 위해서는 η개의 입력변수에 대해서 η!.3$^2$$^n$$^{-1}$의 경우의 수를 고려해야 한다. 따라서 본 논문에서는 주어진 불리안 함수를 OPKFDD의 최적화 표현을 위해 노드 수를 기준으로 하여 입력변수 순서와 각 노드의 확장 방법을 함께 고려하는 혼용 유전자 알고리즘을 제안하며 최소의 노드 수를 갖는 OPKFDD를 생성하기 위해서 다양한 파라미터 값에 따른 실험결과를 제시한다.

Keywords

References

  1. R. E. Bryant, 'Graph-based algorithms for Boolean function manipulation,' IEEE Trans. on Computer, pp.677-691, 1986
  2. B. Becker, R. Drechsler, and M. Theobald. 'On the Implementation of a Package for Efficient Representation and Manipulation of Functional Decision Diagrams,' IFIP Workshop on the Applications on the Reed Muller Expansions, pp.162-169, 1993
  3. T. Sasao and M. Fujita, Representations of Discrete Functions, Kluwer Academic Publishers, 1996
  4. B. Bollig, P. Savicky, and I. Wegener, 'On the ？Improvement of Variable Orderings for OBDDs,' IFIP Workshop on Logic and Architecture Synthesis, Grenoble, pp.71-80, 1994
  5. S. Malik, A. Wang, R. Brayton, and A. S. Vincentelli, 'Logic Verification Using Binary Decision Diagrams in Logic Synthesis Environment,' In Proceedings International Conference on Computer-Aided Design, pp.6-9, Nov. 1988
  6. B. Becker, R. Drechsler, and M. Theobald. 'On the Implementation of a Package for Efficient Representation and Manipulation of Functional Decision Diagrams,' IFIP Workshop on the Applications on the Reed Muller Expansions, pp.162-169, 1993
  7. R. Rudell, 'Dynamic Variable Ordering for Ordered Binary Decision Diagrams,' In IEEE International, Conference on Computer-Ailied Design, pp.42-47, 1993
  8. R. Drechsler, B. Becker and N. Drechsler, 'Minimization of OKFDDs by Genetic Algorithms,' International Symposium on Soft Computing, Reading, Vol. B pp.528-263, 1996
  9. R. Drechsler, and B. Becker, 'On Variable Ordering and Decomposition' Type Choice in OKFDDs,' IEEE Tran. on Computer, pp.1398-1403, Nov. 1998 https://doi.org/10.1109/12.737685
  10. R. Drechsler, personal communication, 1999
  11. B. Bhanu and S. L. Lee, Genetic Learning for Adaption Image Sequentation, Kluwer Academic Publishers, 1994
  12. D. E. Goldberg, Genetic Algorithms, Addison Wesley, 1989
  13. 정미경, 이혁, 이귀상, 'OPKFDD의 최적화 표현을 위한 decomposition과 입력변수 순서 결정', 한국정보처리학회 추계학술발표논문집, 5권2호, pp. 1998