Volume 7 Number 1
February 2010
Article Contents
Zhong-Liang Pan, Ling Chen and Guang-Zhao Zhang. Cultural Algorithm for Minimization of Binary Decision Diagram and Its Application in Crosstalk Fault Detection. International Journal of Automation and Computing, vol. 7, no. 1, pp. 70-77, 2010. doi: 10.1007/s11633-010-0070-2
Cite as: Zhong-Liang Pan, Ling Chen and Guang-Zhao Zhang. Cultural Algorithm for Minimization of Binary Decision Diagram and Its Application in Crosstalk Fault Detection. International Journal of Automation and Computing, vol. 7, no. 1, pp. 70-77, 2010. doi: 10.1007/s11633-010-0070-2

Cultural Algorithm for Minimization of Binary Decision Diagram and Its Application in Crosstalk Fault Detection

Author Biography:
  • Ling Chen received the B.Sc.degree in communication engineering from South China Normal University,PRC in 2004.

  • Corresponding author: Zhong-Liang Pan received the M.Sc. degree from Tsinghua University,PRC in 1991,and the Ph.D.
  • Received: 2009-03-03
Fund Project:

supported by Natural Science Foundation of Guangdong Provincial of China (No.7005833)

通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Abstract Views (4110) PDF downloads (2503) Citations (0)

Cultural Algorithm for Minimization of Binary Decision Diagram and Its Application in Crosstalk Fault Detection

  • Corresponding author: Zhong-Liang Pan received the M.Sc. degree from Tsinghua University,PRC in 1991,and the Ph.D.
Fund Project:

supported by Natural Science Foundation of Guangdong Provincial of China (No.7005833)

Abstract: The binary decision diagrams (BDDs) can give canonical representation to Boolean functions; they have wide applications in the design and verification of digital systems. A new method based on cultural algorithms for minimizing the size of BDDs is presented in this paper. First of all, the coding of an individual representing a BDDs is given, and the fitness of an individual is defined. The population is built by a set of the individuals. Second, the implementations based on cultural algorithms for the minimization of BDDs, i.e., the designs of belief space and population space, and the designs of acceptance function and influence function, are given in detail. Third, the fault detection approaches using BDDs for digital circuits are studied. A new method for the detection of crosstalk faults by using BDDs is presented. Experimental results on a number of digital circuits show that the BDDs with small number of nodes can be obtained by the method proposed in this paper, and all test vectors of a fault in digital circuits can also be produced.

Zhong-Liang Pan, Ling Chen and Guang-Zhao Zhang. Cultural Algorithm for Minimization of Binary Decision Diagram and Its Application in Crosstalk Fault Detection. International Journal of Automation and Computing, vol. 7, no. 1, pp. 70-77, 2010. doi: 10.1007/s11633-010-0070-2
Citation: Zhong-Liang Pan, Ling Chen and Guang-Zhao Zhang. Cultural Algorithm for Minimization of Binary Decision Diagram and Its Application in Crosstalk Fault Detection. International Journal of Automation and Computing, vol. 7, no. 1, pp. 70-77, 2010. doi: 10.1007/s11633-010-0070-2
Reference (21)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return