基于遗传算法和覆盖率驱动的功能验证向量自动生成算法

提出了一种基于遗传算法和覆盖率驱动的RTL(register transfer level)代码功能验证向量自动生成算法.其特点是自动反馈覆盖率信息,构成一个闭环系统;用遗传算法动态分析覆盖率信息,自动生成针对性更强的验证向量.在SoC(syetem on chip)的模块验证中采用了该方法来自动生成验证向量;与受限随机生成方法相比,能快速达到覆盖率目标,缩短验证周期.

Coverage Directed Vector Generation for Functional Verification Using Genetic Algorithm

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.