遗传基因算法在验证中的改进

随着SOC系统越来越复杂，将遗传基因算法应用于芯片验证，实现验证的自动化，可大幅度提高SOC验证的功能覆盖率。介绍了一种基于遗传算法的验证向量自动生成算法遗传基因算法，并在此基础上提出了一种改进算法，即生长算法。其思路是在遗传基因算法的基本原理上，通过由覆盖率较小的向量群成长为覆盖率较大的向量群。通过在SOC验证平台的应用证明了它们能快速达到较高覆盖率，缩短了验证周期。

Improvement of genetic algorithm in verification

With the increase of the complexity of SOC system, to apply the genetic algorithm to chip verification for realizing the automation of verification can greatly improve the function coverage of SOC verification. This paper introduces an automatic generation algorithm for verification vectors based on the genetic algorithm, and proposes an improved algorithm, namely growing algorithm, which provides way to force the small coverage vectors growing up to larger coverage vectors. This technique had been applied to verification, indicating that the quality and efficiency of the verification is improved.