-
题名龙腾Stream流处理器验证
被引量：1
- 1
-
-
作者
白龙飞
樊晓桠
张萌
孙立超
-
机构
西北工业大学计算机学院
-
出处
《计算机工程与应用》
CSCD
2013年第15期65-69,共5页
-
基金
国家高技术研究发展计划(863)(No.2009AA01Z110)
教育部博士点基金(No.20116102120049)
-
文摘
芯片设计复杂度的提高迫切地需要先进的方法学以应对巨大的验证工作量。通过开发基于System Verilog的覆盖率驱动的自动化验证平台,对龙腾Stream流处理器的指令集进行了功能验证。实验结果表明,该验证平台提高了验证效率和功能覆盖率,具有良好的重用性和可移植性。搭建FPGA原型验证系统对流处理器的功能和系统性能进行了评测,并提出了优化流处理器加速性能的方法。
-
关键词
流处理器
指令集验证
System
VERILOG
现场可编程门阵列(FPGA)原型验证
-
Keywords
Stream processor
instruction set verification
System Verilog
Field Programmable Gate Array （FPGA） prototypeverification
-
分类号
TP303
[自动化与计算机技术—计算机系统结构]
-
-
题名基于验证库的微处理器指令集验证方法
被引量：1
- 2
-
-
作者
龚令侃
王玉艳
章建雄
-
机构
华东计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第3期86-88,共3页
-
文摘
指令集作为微处理器软件和硬件的分界线在计算机体系结构中占有重要地位。测试程序自动生成(RTPG)是微处理器指令集验证的主要方法之一。该文比较目前主流的RTPG技术和验证策略,提出基于验证库的随机测试程序生成工具。使用通用脚本语言开发验证库和测试程序模板,针对不同验证阶段生成高质量的测试程序。测试结果表明,该方法实现简单,能达到较好的验证效果。
-
关键词
微处理器
指令集验证
随机测试程序生成
验证库
-
Keywords
microprocessor
instruction set verification
Random Test Program Generation（RTPG）
library-based verification
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于伪随机的微处理器验证方法及改进
被引量：1
- 3
-
-
作者
张振军
毛志刚
-
机构
上海交通大学微电子学院
-
出处
《信息技术》
2008年第10期59-61,共3页
-
文摘
处理器验证是验证工作中最重要也是时间开销最大的部分。文中提出了一种基于仿真的微处理器验证方法,以伪随机算法为主自动生成测试向量,实现了验证的自动化和验证环境的可重用性。并在此基础上引入神经网络算法,提高了整个验证过程的自动化程度和效率。通过一款DSP处理器的验证结果表明,该方法确实提高了微处理器功能验证的有效性和完备性。
-
关键词
指令集验证
伪随机
覆盖率
人工神经网络
-
Keywords
instruction set verification
pseudo-random
coverage ratio
artificial neural network
-
分类号
TP368
[自动化与计算机技术—计算机系统结构]
-
