虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 一种基于图模型提高代码覆盖率的验证方法

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

  • 资源大小:288 K
  • 上传时间: 2024-11-15
  • 上传用户:20125101110
  • 资源积分:2 下载积分
  • 标      签: 代码覆盖率 模型

资 源 简 介

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

相 关 资 源