Name
Abstract | ||
|---|---|---|
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In Self-Test) techniques is increasingly popular, but sometimes requires efficient algorithms for the automatic generation of the logic which generates the test vectors applied to the Unit Under Test. This paper addresses the issue of identifying a Cellular Automaton able to generate input patterns to detect stuck-at faults inside a Finite State Machine (FSM). A suitable hardware structure is first identified. A Genetic Algorithm is then proposed, which directly identifies a Cellular Automaton able to reach a very good Fault Coverage of the stuck-at faults. The novelty of the method consists in combining the generation of test patterns with the synthesis of a Cellular Automaton able to reproduce them. Experimental results are provided, which show that in most of the standard benchmark circuits the Cellular Automaton selected by the Genetic Algorithm is able to reach a Fault Coverage close to the maximum one. Our approach is the first attempt of exploiting evolutionary techniques for identifying the hardware for input pattern generation in BIST structures. |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1109/TAI.1996.560394 | ICTAI |
Keywords | Field | DocType |
input pattern,bist structure,cellular automaton,automatic generation,genetic algorithm,stuck-at fault,digital circuits,fault coverage close,genetic algortithm,test logic,input pattern generation,good fault coverage,key issue,unit under test,finite state machine,finite state machines,genetic algorithms,fault coverage,cellular automata | Cellular automaton,Digital electronics,Device under test,Fault coverage,Computer science,Artificial intelligence,Computer engineering,Genetic algorithm,Built-in self-test,Algorithm,Finite-state machine,Electronic circuit,Machine learning | Conference |
ISSN | ISBN | Citations |
1082-3409 | 0-8186-7686-8 | 3 |
PageRank | References | Authors |
0.49 | 5 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| F. Corno | 1 | 602 | 55.65 |
| P. Prinetto | 2 | 516 | 55.23 |
| M. Sonza Reorda | 3 | 1099 | 114.76 |