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

• 作者: 刘卫华 喻明艳 王进祥
• 来源期刊: 微处理机
• 学科: 工学
• 关键词: 微处理器验证 图模型 功能覆盖 代码覆盖率
• 年，卷（期）: 2008,（6）
• 所属期刊栏目: 大规模集成电路设计、制造与应用
• 页码范围: 46-48
• 页数: 3页
• 分类号: TN43|TP391.9
• 字数: 2942字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-2279.2008.06.016

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	喻明艳	哈尔滨工业大学微电子中心	62	272	9.0	12.0
2	王进祥	哈尔滨工业大学微电子中心	62	429	11.0	18.0
3	刘卫华	哈尔滨工业大学微电子中心	1	1	1.0	1.0