首页|一种基于图模型提高代码覆盖率的验证方法

一种基于图模型提高代码覆盖率的验证方法

A Graph-model Based Code-coverage-improving Verification Method

扫码查看
原文链接
  • NETL
  • NSTL
  • 维普
  • 万方数据
随着微处理器复杂度的不断提高,用全功能验证方法将花费大量的计算资源和时间.提出一种基于图模型的验证方法,首先利用功能抽象的方法得出微处理器的图模型,然后由基于图模型功能覆盖的代码生成算法生成验证代码.我们将这种方法应用于一款DSP的功能验证,结果显示在很短的验证代码激励下得到了较高的代码覆盖率.

刘卫华、喻明艳、王进祥

展开 >

哈尔滨工业大学微电子中心,哈尔滨,150001

微处理器验证 图模型 功能覆盖 代码覆盖率

2008

微处理机
中国电子科技集团公司第四十七研究所

微处理机

CSTPCD
影响因子：0.183
ISSN：1002-2279
年,卷(期)：2008.29(6)
  • 1