DocumentCode :
1647446
Title :
Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm
Author :
Samarah, Amer ; Habibi, Ali ; Tahar, Sofiène ; Kharma, Nawwaf
Author_Institution :
Dept. of Electr. & Comput. Eng., Concordia Univ., Montreal, Que.
fYear :
2006
Firstpage :
19
Lastpage :
26
Abstract :
Functional verification is a major challenge in the hardware design development cycle. Defining the appropriate coverage points that capture the design´s functionalities is a non-trivial problem. However, the real bottleneck remains in generating the suitable testbenches that activate those coverage points adequately. In this paper, we propose an approach to enhance the coverage rate of multiple coverage points through the automatic generation of appropriate test patterns. We employ a directed random simulation, where directives are continuously updated until achieving acceptable coverage rates for all coverage points. We propose to model the solution of the test generation problem as sequences of directives or cells, each of them with specific width, height and distribution. Our approach is based on a genetic algorithm, which automatically optimizes the widths, heights and distributions of these cells over the whole input domain with the aim of enhancing the effectiveness of test generation. We illustrate the efficiency of our approach on a set of designs modeled in SystemC
Keywords :
automatic test pattern generation; formal verification; genetic algorithms; logic design; SystemC; automated coverage directed test generation; cell-based genetic algorithm; directed random simulation; functional verification; hardware design development cycle; Algorithm design and analysis; Automatic test pattern generation; Automatic testing; Conferences; Explosions; Genetic algorithms; Hardware design languages; Logic design; Test pattern generators; Time to market;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
High-Level Design Validation and Test Workshop, 2006. Eleventh Annual IEEE International
Conference_Location :
Monterey, CA
ISSN :
1552-6674
Print_ISBN :
1-4244-0679-X
Electronic_ISBN :
1552-6674
Type :
conf
DOI :
10.1109/HLDVT.2006.319996
Filename :
4110055
Link To Document :
بازگشت