摘要
提出了一种基于遗传算法和覆盖率驱动的RTL(registertransferlevel)代码功能验证向量自动生成算法.其特点是自动反馈覆盖率信息,构成一个闭环系统;用遗传算法动态分析覆盖率信息,自动生成针对性更强的验证向量.在SoC(syetemonchip)的模块验证中采用了该方法来自动生成验证向量;与受限随机生成方法相比,能快速达到覆盖率目标,缩短验证周期.
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.
出处
《应用科学学报》
CAS
CSCD
北大核心
2005年第4期375-379,共5页
Journal of Applied Sciences
基金
国家863专项(2003AA1Z1340)
国家自然科学基金(60176018)资助项目
关键词
功能验证
向量自动生成
遗传算法
functional verification
vector automatic generation
genetic algorithm
