基于覆盖率驱动的高性能DSP指令集验证方法

• 作者: 刘畅 郭阳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: SystemVerilog语言 随机测试 覆盖率驱动 约束描述 面向对象编程 验证平台
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 开发研究与工程应用
• 页码范围: 317-320,封3
• 页数: 5页
• 分类号: TP391.4
• 字数: 5066字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2014.06.067

摘要

针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法.采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码.对“银河飞腾”高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50％,操作数覆盖率提高90％以上,交叉覆盖率提高75％以上,同时功能覆盖率能在较短的时间内达到预期值,从而缩短验证周期.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭阳	国防科学技术大学计算机学院	39	252	9.0	14.0
2	刘畅	国防科学技术大学计算机学院	3	6	1.0	2.0