Journal of IKEEE (전기전자학회논문지)

Institute of Korean Electrical and Electronics Engineers (한국전기전자학회)
권호 표지

A Study on Constructing the Multiple-Valued Logic Systems over Finite Fields using by the Decision Diagram

결정도(決定圖)에 기초(基礎)한 유한체상(有限體上)의 다치논리(多値論理)시스템구성(構成)에 관한 연구(硏究)

  • 박춘명 (국립 충주대학교 컴퓨터공학과)
  • Published : 1999.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

This paper presents a method of constructing the Multiple-Valued Logic Systems(MVLS) over Finite Fields(FF) using by Decision Diagram(DD) that is based on Graph Theory. The proposed method is as following. First, we derivate the Ordered Multiple-Valued Logic Decision Diagram(OMVLDD) based on the multiple-valued Shannon's expansion theorem and we execute function decomposition using by sub-graph. Next, we propose the variable selecting algorithm and simplification algorithm after apply the each isomorphism and reodering vertex. Also we propose MVLS design method.

본 논문에서는 유한체상에서의 다치논리시스템구성을 그래프이론에 기초를 둔 결정도에 의해 구성하는 방법을 제안하였다. 제안한 방법은 먼저 다치논리 Shannon의 확장전개를 토대로 다치논리결정도를 도출하였으며, 부그래프를 적용하여 함수분할을 수행하였다. 그리고 각종 그래프의 동형관계와 정점의 재순서화를 적용하여 결정도의 변수순서선텍알고리즘과 간략화 알고리즘을 제안하였으며 이로부터 최종 다치논리시스템을 설계하는 방법을 제안하였다.

Keywords

References

  1. Special issue on multiple-valued integrated circuits IEICE Trans. ELECTRON. v.E76-C no.3 Prospects for multiple-valued intergrated circuits Smith, K.C.;Gulak, P.G.
  2. Computer Science and Multiple-valued Logic Theory and Applications Rine, D.C.
  3. Multiple-valued Logic: an introduction Epstein, G.
  4. IEEE Trans. Comput. v.C-27 no.6 Binary Decision Diagrams Aker, S.B.
  5. IEEE Trans. Comput. v.C-35 no.8 Graph-Based Algorithms for Boolean Function manipulation Bryant, R.E.
  6. IEEE Trans. Comput. v.41 no.6 On the OBDD-Representation of General Boolean Functions Liaw, H.;Lin, C.S.
  7. IEEE Trans. Comput. v.C-36 no.2 Using decision trees to derive the complement of a binary function with multiple-valued inputs Chan, A.H.
  8. IEEE Proc. of Symposium on Multiple-Valued Logic Multiple-Valued Logic design Tools Miller, D.M.
  9. A Construction of Multiple-Valued Logic Systems by Decision Diagram Park, C.M.
  10. Journal of IEEE Korea Council v.1 no.1 A Study on the Construction of Multiple-Valued Logic Functions by Edge-Valued Decision Diagram Park, C.M.(etc.)
  11. Discrete and combinational mthematics an applied introduction Grimaldi, R.P.
  12. Modern Switching theory and digital design Lee, Samuel C.
  13. IEEE Trans. Compt. v.C-25 no.Jan. Galois switching funtions and their applications Benjauthrit, B.;Reed, I.S.
  14. Graphs and algorithms Gondran, M.;Minoux, M.
  15. GRAPH An Introductory Approach Wilson, R.J.;Watkins, J.J.
  16. IEEE Trans. Comput. v.37 no.10 Modular Decompositon of combinational Multiple-Valued Circuits Fang, K.Y.;Wojcik, A.S.