With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of...With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram (BDD). First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.展开更多
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 fo...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.展开更多
As the complexity of nanocircuits continues to increase,developing tests for them becomes more difficult.Failure analysis and the localization of internal test points within nanocircuits are already more difficult tha...As the complexity of nanocircuits continues to increase,developing tests for them becomes more difficult.Failure analysis and the localization of internal test points within nanocircuits are already more difficult than for conventional integrated circuits.In this paper,a new method of testing for faults in nanocircuits is presented that uses single-photon detection to locate failed components(or failed signal lines)by utilizing the infrared photon emission characteristics of circuits.The emitted photons,which can carry information about circuit structure,can aid the understanding of circuit properties and locating faults.In this paper,in order to enhance the strength of emitted photons from circuit components,test vectors are designed for circuits’components or signal lines.These test vectors can cause components to produce signal transitions or switching behaviors according to their positions,thereby increasing the strength of the emitted photons.A multiple-valued decision diagram(MDD),in the form of a directed acrylic graph,is used to produce the test vectors.After an MDD corresponding to a circuit is constructed,the test vectors are generated by searching for specific paths in the MDD of that circuit.Experimental results show that many types of faults such as stuck-at faults,bridging faults,crosstalk faults,and others,can be detected with this method.展开更多
基金Supported by the National Natural Science Foun-dation of China (60006002) Natural Science Research Project of Education Department of Guangdong Province of China (02019)
文摘With the complexity of integrated circuits is continually increasing, a local defect in circuits may cause multiple faults. The behavior of a digital circuit with a multiple fault may significantly differ from that of a single fault. A new method for the detection of multiple faults in digital circuits is presented in this paper, the method is based on binary decision diagram (BDD). First of all, the BDDs for the normal circuit and faulty circuit are built respectively. Secondly, a test BDD is obtained by the XOR operation of the BDDs corresponds to normal circuit and faulty circuit. In the test BDD, each input assignment that leads to the leaf node labeled 1 is a test vector of multiple faults. Therefore, the test set of multiple faults is generated by searching for the type of input assignments in the test BDD. Experimental results on some digital circuits show the feasibility of the approach presented in this paper.
基金supported by Natural Science Foundation of Guangdong Provincial of China (No.7005833)
文摘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.
基金supported by the National Natural Science Foundation of China(Grant No.61072028)the Project of the Department of Education of Guangdong Province(Grant No.2012KJCX0040)the Guangdong Province and Chinese Ministry of Education Cooperation Project of Industry,Education,and Academy(Grant No.2009B090300339)
文摘As the complexity of nanocircuits continues to increase,developing tests for them becomes more difficult.Failure analysis and the localization of internal test points within nanocircuits are already more difficult than for conventional integrated circuits.In this paper,a new method of testing for faults in nanocircuits is presented that uses single-photon detection to locate failed components(or failed signal lines)by utilizing the infrared photon emission characteristics of circuits.The emitted photons,which can carry information about circuit structure,can aid the understanding of circuit properties and locating faults.In this paper,in order to enhance the strength of emitted photons from circuit components,test vectors are designed for circuits’components or signal lines.These test vectors can cause components to produce signal transitions or switching behaviors according to their positions,thereby increasing the strength of the emitted photons.A multiple-valued decision diagram(MDD),in the form of a directed acrylic graph,is used to produce the test vectors.After an MDD corresponding to a circuit is constructed,the test vectors are generated by searching for specific paths in the MDD of that circuit.Experimental results show that many types of faults such as stuck-at faults,bridging faults,crosstalk faults,and others,can be detected with this method.