TY - GEN
T1 - Automated functional coverage for a digital system based on a binary differential evolution algorithm
AU - Cruz, Alfonso Martinez
AU - Fernández, Ricardo Barrón
AU - Lozano, Heron Molina
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - Coverage Percentage
KW - Coverage Points
KW - Differential Evolution algorithm
KW - Digital System
KW - Directed Functional Verification
UR - http://www.scopus.com/inward/record.url?scp=84905364812&partnerID=8YFLogxK
U2 - 10.1109/BRICS-CCI-CBIC.2013.26
DO - 10.1109/BRICS-CCI-CBIC.2013.26
M3 - Contribución a la conferencia
AN - SCOPUS:84905364812
SN - 9781479931941
T3 - Proceedings - 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013
SP - 92
EP - 97
BT - Proceedings - 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013
PB - IEEE Computer Society
T2 - 1st BRICS Countries Congress on Computational Intelligence, BRICS-CCI 2013
Y2 - 8 September 2013 through 11 September 2013
ER -