龙腾Stream流处理器验证  

Verification of “Longtium Stream” processor

作　　者：白龙飞[1] 樊晓桠[1] 张萌[1] 孙立超[1] 

机构地区：[1]西北工业大学计算机学院,西安710129

出　　处：《计算机工程与应用》2013年第15期65-69,共5页Computer Engineering and Applications

基　　金：国家高技术研究发展计划(863)(No.2009AA01Z110);教育部博士点基金(No.20116102120049)

摘　　要：芯片设计复杂度的提高迫切地需要先进的方法学以应对巨大的验证工作量。通过开发基于System Verilog的覆盖率驱动的自动化验证平台,对龙腾Stream流处理器的指令集进行了功能验证。实验结果表明,该验证平台提高了验证效率和功能覆盖率,具有良好的重用性和可移植性。搭建FPGA原型验证系统对流处理器的功能和系统性能进行了评测,并提出了优化流处理器加速性能的方法。The improvement of chip design complexity urgently needs advanced methodology to cope with the huge workload of verification. This paper presents a method for functional verification of the ＂Longtium Stream＂ processor instruction set by constructing an automatic coverage-driven verification platform. The experimental results show that the method improves the ef- ficiency and functional coverage of verification and enhances the reusability and portability of the verification platform. This paper builds a FPGA prototype system to evaluate the functionality and performance of the Stream processor, and proposes opti- mization methods for accelerating its performance.

关 键 词：流处理器 指令集验证 System VERILOG 现场可编程门阵列(FPGA)原型验证 

分 类 号：TP303[自动化与计算机技术—计算机系统结构]