The Journal of Korean Institute of Communications and Information Sciences (한국통신학회논문지)

The Korean Institute of Commucations and Information Sciences (한국통신학회)
권호 표지

Development of an efficient logic function manipulation system for solving large-scale combiation problems and its application to logic design of sequential circuits

대규모 조합문제를 해결하기 위한 효율적인 논리함수 처리 시스템의 개발과 순서회로 설계에의 응용

  • Published : 1997.08.01
Download PDF
⟨ Previous Next ⟩

Abstract

Many studies on internal data expression to process logic functions efficiently on computer have been doing actively. In this paper, we propose an efficient logic function manipulation system made on the Objected-Oriented manner, where Binary Decision Diagrams(BDD's) are adopted for internal data espressionof logic functions. Thus it is easy to make BDD's presenting combinational problems. Also, we propose a method of applying filtering function for reducing the size of BDD's instead of attributed bits, and add it to the mainpultion system. As a resutls, the space of address is expanded so that the number of node that can be used in the mainpulation system is increased up to 2/sup 27/. Finally, we apply the implemented system to One-Shot state assignment problems of asynchronous sequential circuits and show that it is efficient for the filtering method to reduce the size of BDD's.

Keywords

References

  1. IEEE transaction on Computers v.C-27 no.6 Binary decision diagram S. B. Akers
  2. IEEE Transactions on Computers v.C-35 no.8 Graph-Based algorithms for boolean function anipulation R. E. Bryant
  3. 박사학위논문,일본쿄토대학 Binary Decision Diagrams and Their Application for VLSI CAD Shin-ichi Minato
  4. 박사학위논문,일본쿄토대학 State Assigments for Asychronous Sequential Circuits Using Graph Techniques and Binary Decision Diagrams 권용진
  5. 박사학위논문,일본쿄토대학 Combinatorial algorithms using boolean processing Ichiro Semba
  6. 한국정보과학회 95년 춘계 학술발표회 논문집 이단계 리드뮬러 회로의 최소화를 위한 BDD의 응용 이귀상;천승환
  7. 한국정보과학회 95년 춘계학술발표회 논문집 다변수 출력 논리회로에서 Binary Decision Diagram 입력 변수 배열 권오형;김종;홍성제
  8. 한국정보과학회 96년 추계학술발표회 논문집 Filtering 함수를 이용한 효율적인 논리함수 처리 장용희;권용진
  9. 한국항공대학교부설 전자정보통신연구소 논문지 v.2 no.2 Filtering 함수를 이용한 논리함수처리 시스템의 구현과 그 응용 장용희;권용진
  10. 33rd DAC proceeding Implemention of an Efficient Parallel BDD Package, Tony Stornetta;Forrest Brewer
  11. 33rd DAC proceeding High Performance BDD Package By Exploiting Memory Hierarchy J. V. Sanghavi;R. K. Ranjan;R. K. Brayton;A. Sangiovanni-Vincentelli