作者
Amer Samarah, Ali Habibi, Sofiene Tahar, Nawwaf Kharma
发表日期
2006/11/8
研讨会论文
2006 IEEE International High Level Design Validation and Test Workshop
页码范围
19-26
出版商
IEEE
简介
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 …
引用总数
200720082009201020112012201320142015201620172018201920202021202220232433549324332644
学术搜索中的文章
A Samarah, A Habibi, S Tahar, N Kharma - 2006 IEEE International High Level Design Validation …, 2006