计算机工程与应用 ›› 2013, Vol. 49 ›› Issue (15): 65-69.

• 理论研究、研发设计 • 上一篇    下一篇

龙腾Stream流处理器验证

白龙飞,樊晓桠,张  萌,孙立超   

  1. 西北工业大学 计算机学院,西安 710129
  • 出版日期:2013-08-01 发布日期:2013-07-31

Verification of “Longtium Stream” processor

BAI Longfei, FAN Xiaoya, ZHANG Meng, SUN Lichao   

  1. School of Computer Science, Northwestern Polytechnical University, Xi’an 710129, China
  • Online:2013-08-01 Published:2013-07-31

摘要: 芯片设计复杂度的提高迫切地需要先进的方法学以应对巨大的验证工作量。通过开发基于System Verilog的覆盖率驱动的自动化验证平台,对龙腾Stream流处理器的指令集进行了功能验证。实验结果表明,该验证平台提高了验证效率和功能覆盖率,具有良好的重用性和可移植性。搭建FPGA原型验证系统对流处理器的功能和系统性能进行了评测,并提出了优化流处理器加速性能的方法。

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

Abstract: 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 efficiency 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 optimization methods for accelerating its performance.

Key words: Stream processor, instruction set verification, System Verilog, Field Programmable Gate Array(FPGA) prototype verification