Journal of information and communication convergence engineering

The Korea Institute of Information and Commucation Engineering (한국정보통신학회)
권호 표지
DOI QR코드

DOI QR Code

Switching Function using Edge-Valued Decision Diagram

  • Park, Chun-Myoung (Department of Computer Engineering, Chungju National University)
  • Received : 2011.03.23
  • Accepted : 2011.06.07
  • Published : 2011.06.30
Download PDF
⟨ Previous Next ⟩

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

References

  1. D. Green, Modern Logic Design, Addison-Wesley Publishing Company, 2008.
  2. R. J. McEliece, Finite Fields for Computer Science and Engineers, Kluer Academic Publishers, 2007.
  3. R. Gould, Graph Theory, The Benjamin / Cummings Publishing Company, Inc. 2005.
  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. https://doi.org/10.1109/TC.1978.1675141
  7. R. E. Bryant,"Grpah-Based Algorithms for Boolean Function manipulations," IEEE Trans. Comput., vol.C-35, no.8, pp.677-691, Aug. 1986. https://doi.org/10.1109/TC.1986.1676819
  8. 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.
  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. D. M. Miller,"Multiple-Valud Logic Design Tools," IEEE Proc. of ISMVL, Sacramento, California, pp.2-11, may. 1993
  11. Davis C. Rine, Computer Science and Multiple-Valued Logic Theory and Applications, North-Holland Publishing Company, 1977.
  12. G. Epstein, Multiple-Valued Logic : an Introduction, Institute of physics publishing , 1993.