Browse > Article
http://dx.doi.org/10.6109/jkiice.2013.17.4.863

A Study on the Constructing the Function using Extension Edge Valued Graph  

Park, Chun-Myoung (한국교통대학교)
Publication Information
Journal of the Korea Institute of Information and Communication Engineering / v.17, no.4, 2013 , pp. 863-868 More about this Journal
Abstract
In recently years, many digital logic systems based on graph theory are analyzed and synthesized. This paper presented a method of constructing the function using edge valued extension graph which is based on graph theory. The graph is applied to a new data structure. from binary graph which is recently used in constructing the digital logic systems based on the graph theory. We discuss the mathematical background of literal and reed-muller expansion, and we discuss the edge valued extension graph which is the key of this paper. Also, we propose the algorithms which is the function derivation based on the proposed edge valued extension graph. That is the function minimization method of the n-variables m-valued functions and showed that the algorithm had the regularity with module by which the same blocks were made concerning about the schematic property of the proposed algorithm.
Keywords
Digital logic systems; graph; edge valued graph; module;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 David C.Rine, Computer Science and MVL Theory and Applications, North-Holland Publishing Company, 1977.
2 M.K, "Toward the age of the beyond binary electronics and system," ISMVL 90, pp.162-166, North Carolina U.S.A. May. 1990.
3 R.Gould, Graph Theory, The Benjamin/Cummings Publishing Company, Inc. 1988.
4 R. J.Wilson and J.J.Watkins, GRAPH an Introductory Approach, John Wiley & Sons, Inc. 2006.
5 D. B.West, Introduction to Graph Theory, Prentice- Hall, 2003.
6 S.B.Aker, "Binary Decision Diagrams," IEEE Trans. Comput., vol.C-27, no.6, pp.509-516, Jun. 1978.   DOI   ScienceOn
7 R.E.Bryant,"Graph-Based Algorithms for Boolean Function Manipulations," IEEE Trans., Comput., vol.C-35, no.8, pp.677-691, Aug. 1996
8 D. M. Miller,"MVL Design Tools," IEEE Proc. of ISMVL, Sacramento, California, pp.2-11, may. 1993.
9 Yung-Te Lai, M. Pedram and S. B. K. Vrudhula, "Formal Verification using Edge-Valued Binary Decision Diagrams," IEEE Trans. On Computers, vol.45, no.2, Feb. 1996.
10 C.M.Park, "Switching function Implementation based on Graph,"JKIMICSvol.15, no.9, pp1965-1970, Sep., 2011.
11 D.Green, Modern Logic Design, Addison-Wesley Publishing Company, 2008.