Cultural algorithm for minimization of binary decision diagram and its application in crosstalk fault detection

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.

[1]  Sachin S. Sapatnekar,et al.  BDD decomposition for delay oriented pass transistor logic synthesis , 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[2]  Beate Bollig,et al.  Improving the Variable Ordering of OBDDs Is NP-Complete , 1996, IEEE Trans. Computers.

[3]  Samiha Mourad,et al.  Crosstalk Induced Fault Analysis and Test in DRAMs , 2006, J. Electron. Test..

[4]  Edward Tsang,et al.  Computational Intelligence Determines Effective Rationality , 2007 .

[5]  Rolf Drechsler,et al.  Efficient Minimization and Manipulation of Linearly Transformed Binary Decision Diagrams , 2003, IEEE Trans. Computers.

[6]  Xiaohui Yuan,et al.  Application of cultural algorithm to generation scheduling of hydrothermal systems , 2006 .

[7]  David Blaauw,et al.  Modeling and analysis of crosstalk noise in coupled RLC interconnects , 2006, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[8]  Wen-Ben Jone,et al.  Crosstalk test pattern generation for dynamic programmable logic arrays , 2006, IEEE Transactions on Instrumentation and Measurement.

[9]  Tiziano Villa,et al.  Exact Minimization of Binary Decision Diagrams Using Implicit Techniques , 1998, IEEE Trans. Computers.

[10]  Chris Murphy,et al.  Dominance-Based Multiobjective Simulated Annealing , 2008, IEEE Transactions on Evolutionary Computation.

[11]  Pedro Mendes,et al.  Parallelizing simulated annealing algorithms based on high-performance computer , 2007, J. Glob. Optim..

[12]  Hoon Chang,et al.  A variable reordering method for fast optimization of binary decision diagrams , 1997, Proceedings Sixth Asian Test Symposium (ATS'97).

[13]  Tsutomu Sasao,et al.  BDD Representation for Incompletely Specified Multiple-Output Logic Functions and Its Applications to the Design of LUT Cascades , 2007, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[14]  T. Ciamulski,et al.  Coupling Compensation Concept Applied to Crosstalk Cancelling in Multiconductor Transmission Lines , 2008, IEEE Transactions on Electromagnetic Compatibility.

[15]  Ricardo Landa Becerra,et al.  Efficient evolutionary optimization through the use of a cultural algorithm , 2004 .

[16]  Osnat Keren.  Reduction of Average Path Length in Binary Decision Diagrams by Spectral Methods , 2008, IEEE Transactions on Computers.

[17]  Fanggeng Zhao,et al.  A hybrid genetic algorithm for the traveling salesman problem with pickup and delivery , 2009, Int. J. Autom. Comput..

[18]  Daniel Sawitzki.  Lower bounds on the OBDD size of two fundamental functions' graphs , 2007, Inf. Process. Lett..

[19]  Brajesh Kumar Kaushik,et al.  Crosstalk Analysis for a CMOS-Gate-Driven Coupled Interconnects , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[20]  Paul Molitor,et al.  Least Upper Bounds for the Size of OBDDs Using Symmetry Properties , 2000, IEEE Trans. Computers.

[21]  Ming Shae Wu,et al.  Using a periodic square wave test signal to detect crosstalk faults , 2005, IEEE Design & Test of Computers.

[22]  Tung-Kuan Liu,et al.  Method of inequalities-based multiobjective genetic algorithm for optimizing a cart-double-pendulum system , 2009, Int. J. Autom. Comput..

[23]  Rolf Drechsler,et al.  Combining ordered best-first search with branch and bound for exact BDD minimization , 2005 .

[24]  Xiaoyu Song,et al.  BDD minimization by scatter search , 2002, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..