Name
Title | ||
|---|---|---|
Automated Functional Test Generation for Digital Systems Through a Compact Binary Differential Evolution Algorithm |
Abstract | ||
|---|---|---|
At present, the functional verification of a device represents the highest cost during manufacturing. To reduce that cost, several methods have been suggested. In this work we propose a method which produces a set of binary test sequences by means of a Compact binary Differential Evolution algorithm (Compact-BinDE). The strategy employed is based on the use of coverage models and cost functions in the verification process, which are built with relevant conditions or coverage points representing the full device behavior. The main problem is to cover all difficult situations since the relationships between the test points and the input data in the design are not trivial. The test generation method is included with a proposed verification platform based on a simulation representing a hybrid method. The main contribution of this work is that the method obtains test vector sequences that maximize the coverage percentage on run-time device simulation with an efficient search in the binary domain. Also, different to the previous works that used meta-heuristics, the proposed method by means of the Compact-BinDE algorithm can reduce the simulation time used to obtain test sequences that exercise the coverage points. The results show that the proposed method represents a good alternative to generate test sequences to cover the coverage points during the functional verification. |
Year | DOI | Venue |
|---|---|---|
2015 | 10.1007/s10836-015-5540-6 | Journal of Electronic Testing-Theory and Applications |
Keywords | Field | DocType |
Directed functional verification,Binary differential evolution algorithm,Coverage points,Compact binary differential evolution algorithm,Functional verification,Digital systems,Meta-heuristics | Binary differential evolution,Test vector,Functional verification,Computer science,Algorithm,Theoretical computer science,Binary number,Metaheuristic | Journal |
Volume | Issue | ISSN |
31 | 4 | 0923-8174 |
Citations | PageRank | References |
1 | 0.35 | 7 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Alfonso Martinez Cruz | 1 | 1 | 1.02 |
| Ricardo Barrón Fernández | 2 | 3 | 5.11 |
| Herón Molina-Lozano | 3 | 12 | 4.77 |
| Marco Antonio Ramírez Salinas | 4 | 1 | 0.35 |
| Luis Villa Vargas | 5 | 8 | 2.05 |