[KSCI] Korea Science Citation Index Service

http://dx.doi.org/10.6109/jicce.2011.9.3.276

Switching Function using Edge-Valued Decision Diagram

Park, Chun-Myoung (Department of Computer Engineering, Chungju National University)

Publication Information

Journal of information and communication convergence engineering / v.9, no.3, 2011 , pp. 276-281 More about this Journal

Abstract

This paper presents a method of constructing the switching function using edge-valued decision diagrams. The proposed method is as following. The edge-valued decision diagram is a new data structure type of decision diagram which is recently used in constructing the digital logic systems based on the graph theory. Next, we apply edge-valued decision diagram to function minimization of digital logic systems. The proposed method has the visible, schematic and regular properties.

Keywords

Switching function; decision diagram; edge-valued decision diagram; function minimization etc.;

Citations & Related Records

Reference

1	R. E. Bryant,"Grpah-Based Algorithms for Boolean Function manipulations," IEEE Trans. Comput., vol.C-35, no.8, pp.677-691, Aug. 1986. DOI ScienceOn
2	Yung-Te Lai and Sarma Satry,"Edge-Valued Binary Decision Diagrams for Multi-Level Hierarchical Verification" 29th ACM/IEEE Design Automation Conference, pp.608-613, 1992.
3	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.
4	D. M. Miller,"Multiple-Valud Logic Design Tools," IEEE Proc. of ISMVL, Sacramento, California, pp.2-11, may. 1993
5	D. Green, Modern Logic Design, Addison-Wesley Publishing Company, 2008.
6	R. J. McEliece, Finite Fields for Computer Science and Engineers, Kluer Academic Publishers, 2007.
7	R. Gould, Graph Theory, The Benjamin / Cummings Publishing Company, Inc. 2005.
8	R. J. Wilson and J. J. Watkins, GRAPH an Introductory Approach, John Wiley & Sons, Inc. 2006.
9	D. B. West, Introduction to Graph Theory, Prentice-Hall, 2003.
10	Davis C. Rine, Computer Science and Multiple-Valued Logic Theory and Applications, North-Holland Publishing Company, 1977.
11	G. Epstein, Multiple-Valued Logic : an Introduction, Institute of physics publishing , 1993.
12	S. B. Aker,"Binary Decision Diagrams," IEEE Trans. Comput., vol.C-27, no.6, pp.509-516, Jun. 1978. DOI ScienceOn