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

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

A Variable Ordering Method for OPKFDDs using Complex Terms

Complex term을 이용한 OPKFDD의 입력변수 순서 방법

  • 정미경 (전남대학교 전산학과) ;
  • 김미영 (담양대학 전산·정보통신공학부) ;
  • 이귀상 (전남대학교 전산학과 정보통신연구소)
  • Published : 2000.09.01
Download PDF
⟨ Previous Next ⟩

Abstract

OPKFDD(Ordered Pseudo-Kronecker Functional Decision Diagram)는 각 노드에서 다양한 decomposition을 취할 수 있는 Ordered-DD(Decision Diagram)의 한 종류이다. OBDD(Ordered Binary Decision Diagram)에서 각 노드는 Shannon decomposition 만을 이용하는 반면, OPKFDD는 각 노드마다 Shannon, positive Davio, negative Davio decomposition 중의 하나를 사용하도록 하며 많은 경우 매우 적은 수의 노드로 함수를 표현할 수 있다. 그러나 각 노드마다 각기 다른 확장 방법을 선택할 수 있는 특징 때문에 입력 노드에 대한 확장 방밥과 입력 변수 순서의 결정에 의해서 OPKFDD의 크기가 좌우되며 이에 대한 최적의 해를 구하는 것은 매우 어려운 문제로 알려져 있다. 본 논문에서는 DD 크기를 기준을 노드 수로 하여 기존의 BDD(Binary Decision Diagram) 자료구조에서 OPKFDD를 효율적으로 유도해내는 방법을 제시하고 complex term을 이용하여 이를 최소화하는 알고리즘을 제시한다. 그리고 입력변수 순서 결정을 위하여 다출력함수의 경우 함수간의 포함관계를 고려한 그룹-sifting과 각 노드의 확장 방법을 제안하고 실험 결과를 제시한다.

Keywords

References

  1. R. E. Bryant, 'Graph-based algorithms for Boolean function manipulation,' IEEE Trans. on Computer, pp.677-691, 1986
  2. K. S. Brace, R. C. Rudell, and R. E. Bryant, 'Efficient Implementation of a BDD Package,' In Proceedings 27th Design Automation Conf., pp.40-46, 1990 https://doi.org/10.1145/123186.123222
  3. R. Drechsler, N. Drechsler, and W. Gunther, 'Fast Exact Minimization of BDDs,' In Proceedings 34th Design Automation Conf., pp.200-205, 1998 https://doi.org/10.1109/43.833206
  4. 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 https://doi.org/10.1109/DAC.1990.114826
  5. R. Drechsler, M. Theobald, and B. Becker. 'Fast OFDD based Minimization of Fixed Polarity Heed-Muller Expansions,' In Proceeding of EDAC, pp.2-7, 1994
  6. T. Sasao and M. Fujita, Representations of Discrete Functions, Kluwer Academic Publishers, 1996
  7. 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
  8. R. Drechsler, and B. Becker, 'Ordered Kronecker Functional Decision Diagrams- A Data Structure for Representation and Manipulation of Boolean Functions,' IEEE Tran. on Computer-Aided Design of Intergration Circuits and Systems, pp.965-973, Oct. 1998
  9. 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
  10. S. Malik, A. Wang, R. Brayton, and A. Sangiovanni Vincentelli, 'Logic Verification Using Binary Decision Diagrams in Logic Synthesis Environment,' In Proceedings International Conference on Computer-Aided Design, pp.6-9, Nov. 1988
  11. S. Minato, N. Ishiura, and S. Yajima, 'Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean Function Manipulation,' In Proceedings 27th Design Automation Conf., pp.52-57, June 1990 https://doi.org/10.1109/DAC.1990.114828
  12. Rolf Drechsler, Bernd Becker and Nicole Drechsler, 'Minimization of OKFDDs by Genetic Algorithms,' International Symposium on Soft Computing, Reading, pp. B:528-B:263, 1996
  13. R. Rudell, 'Dynamic Variable Ordering for Ordered Binary Decision Diagrams,' In IEEE International Conference on Computer-Aided Design, pp.42-47, 1993
  14. M. Chrzanowska-Jeske, A. Sarabi, N. Song and M. A. Perkowski, 'A Comprehensive Approach to Logic Synthesis and Physical Design for Two-dimensional Logic Arrays,' Design Automation Conference, pp.321-326, June 1994 https://doi.org/10.1145/196244.196398
  15. ftp://vlsi.colorado.edu/pub/cudd-2.2.0.tar.gz
  16. R. Drechsler, personal communication, 1999
  17. S. Panada, F. Somenzi, and B. F. Plessier, 'Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams,' In proceedings International Conference on Computer-Aided Design, pp.628-631, 1994
  18. M. Fujita, Y. matsunaga, and T. Kakuda, ' On Variable Ordering of Binary decision Diagrams for the Application of Multi-level Logic Systhesis,' In proceedings of the European Conference on Design Automation, pp.50-54, 19914
  19. S. Panda and F. Somenzi, 'who are the Variables in your Neighborhood,' In proceedings International Conference on Computer-Aided Design, pp.74-77, 1995