• 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