Coverage Directed Vector Generation for Functional Verification Using Genetic Algorithm
Ming Ling · 2005
With a new algorithm for coverage directed vector generation, a major challenge in the verification on the register transfer level by simulation is addressed. The approach is based on genetic algorithm, which provides an efficient way in forming feedback from the coverage domain back to the generator. This technique has been applied to the verification of an industrial SoC module, showing encouraging results and indicating that the quality of the verification is improved.