| 基于覆盖率驱动的高性能DSP指令集验证方法 |
| |
| 引用本文： | 刘畅,郭阳. 基于覆盖率驱动的高性能DSP指令集验证方法[J]. 计算机工程, 2014, 0(6): 317-320,F0003 |
| |
| 作者姓名： | 刘畅 郭阳 |
| |
| 作者单位： | 国防科学技术大学计算机学院,长沙410073 |
| |
| 基金项目： | 国家自然科学基金资助项目（61133007）. |
| |
| 摘 要： | 针对传统定向测试效率较低且容易遗漏边界条件,以及测试平台扩展性、移植性差等问题,利用SystemVerilog的面向对象特性、随机约束求解机制以及覆盖率统计机制,提出一种快速搭建覆盖率驱动的随机测试平台的方法。采用面向对象方法对指令集建模,同时定义功能覆盖点和交叉覆盖率,并对随机约束规则进行描述,利用SystemVerilog的约束求解机制在覆盖率驱动下生成大量的测试指令码。对"银河飞腾"高性能DSP芯片指令集进行验证,结果表明,与定向测试相比,随机测试的寄存器和数据通路覆盖率提高50%,操作数覆盖率提高90%以上,交叉覆盖率提高75%以上,同时功能覆盖率能在较短的时间内达到预期值,从而缩短验证周期。
|
| 关 键 词： | System Verilog语言 随机测试 覆盖率驱动 约束描述 面向对象编程 验证平台 |
Instruction Set Verification Method for High Performance DSP Based on Coverage-driven |
| |
| LIU Chang,GUO Yang. Instruction Set Verification Method for High Performance DSP Based on Coverage-driven[J]. Computer Engineering, 2014, 0(6): 317-320,F0003 |
| |
| Authors: | LIU Chang GUO Yang |
| |
| Affiliation: | (School of Computer, National University of Defense Technology, Changsha 410073, China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
