English

应用科学学报 ›› 2005, Vol. 23 ›› Issue (4): 375-379.

• 论文 • 上一篇    下一篇

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

罗春, 杨军, 凌明   

  1. 东南大学国家专用集成电路系统工程技术研究中心, 江苏南京 210096
  • 收稿日期:2004-04-25 修回日期:2004-10-08 出版日期:2005-07-31 发布日期:2005-07-31
  • 作者简介:罗春(1978-),男,云南建水人,博士生,E-mail:luochun@seu.edu.cn
  • 基金资助:
    国家863专项(2003AA1Z1340);国家自然科学基金(60176018)资助项目

Coverage Directed Vector Generation for Functional Verification Using Genetic Algorithm

LUO Chun, YANG Jun, LING Ming   

  1. National ASIC System Engineering Research Center, Southeast University, Nanjing 210096, China
  • Received:2004-04-25 Revised:2004-10-08 Online:2005-07-31 Published:2005-07-31

PDF

176

被引次数

40

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

关键词: 功能验证, 遗传算法, 向量自动生成

Abstract: 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.

Key words: genetic algorithm, functional verification, vector automatic generation

中图分类号: