基于SystemVerilog语言的像素cache验证平台的实现

摘要：

以SystemVerilog为基础,对自主研发的GPU“萤火虫2号”中像素cache部分搭建可重用的验证平台.该平台可以自动完成整个验证过程,并将验证结果打印到Linux终端和文件当中,方便程序员检查验证结果.实验结果表明,该验证平台对像素cache的功能验证覆盖率可以达到100％,并且具有良好的可重用性,能够全面、正确地完成RTL级功能验证,有效地提高了验证的效率和质量.

关键词：像素cache、验证平台、SystemVerilog、可重用性

所属期刊栏目：42

分类号：TP302.1(计算技术、计算机技术)

资助基金：国家自然科学基金重点资助项目61136002;教育部科学研究计划重点资助项目2111180

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

页数：共4页

页码：51-53,61