| Título |
Automated Functional Coverage for a Digital System Based on a Binary Differential Evolution Algorithm |
| Tipo |
Congreso |
| Sub-tipo |
SCOPUS |
| Descripción |
IEEE Computer Society; 1st Brazil, Russia, India, China and South Africa Countries Congress on Computational Intelligence, BRICS-CCI 2013. |
| Resumen |
Within functional verification of digital systems there are dynamic methods based on Device Under Verification simulation. We focus on this type of method using functional coverage points. Nowadays, the main problem consists in obtaining high values to exercise all functional coverage points in the device. In this paper we propose a heuristic dynamic verification method based on a Binary Differential Evolution algorithm to obtain sets of vectors that maximize the functional coverage percentage in a synchronous First Input-First Output (FIFO) memory. The experimental results show that using this evolutionary technique with a relatively small population size, high functional coverage values were obtained. Despite the difficulty in exercising a greater amount of coverage points, we observed that the method obtains higher values than ninety percent in different scenarios. |
| Observaciones |
DOI 10.1109/BRICS-CC ** Drive: Automated-functional_2013 |
| Lugar |
Recife, Brasil |
| País |
Brasil |
| No. de páginas |
92 - 97 |
| Vol. / Cap. |
|
| Inicio |
2013-09-08 |
| Fin |
|
| ISBN/ISSN |
978-147993194-1 |
