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

摘要：

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

关键词：SystemVerilog语言、随机测试、覆盖率驱动、约束描述、面向对象编程、验证平台

所属期刊栏目：40

分类号：TP391.4(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61133007

在线出版日期：2014-08-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：317-320,封3