【摘 要】
：
以System Verilog为基础,对自主研发的GPU“萤火虫2号”中像素cache部分搭建可重用的验证平台。该平台可以自动完成整个验证过程,并将验证结果打印到Linux终端和文件当中,方
【机 构】
：
西安邮电大学计算机学院,西安邮电大学电子工程学院
论文部分内容阅读
以System Verilog为基础,对自主研发的GPU“萤火虫2号”中像素cache部分搭建可重用的验证平台。该平台可以自动完成整个验证过程,并将验证结果打印到Linux终端和文件当中,方便程序员检查验证结果。实验结果表明,该验证平台对像素cache的功能验证覆盖率可以达到100%,并且具有良好的可重用性,能够全面、正确地完成RTL级功能验证,有效地提高了验证的效率和质量。
其他文献
科技的进步、网络的普及对知识产权制度提出了新的挑战,新的受保护客体不断出现,新客体具有了以往知识产权客体的不同特征;应对新形势,知识产权的法律保护方式也要随之发生改
因为有张力,文学作品在情节结构上收放自如、开阖有度,牢牢地吸引了读者;因为有张力,歌曲在旋律、节奏上高低起伏,抑扬顿挫,牵引着、涤荡着人们的心灵。这是艺术的张力。有张
当前，防控疫情态势持续向好，但是疫情防控过程中也暴露出一些问题，集中体现在决策信息汲取、归集机制不完善。对于基层政府而言，反应时间较长，缺乏及时、准确、可溯源验证的信息发
互联网思维融入教育领域,为传统教学改革提供了强大的动力,彻底改变了传统教育的结构模式,使得教育逐渐适应互联网的发展,极大地促进了信息技术与教育的深度融合。"互联网+"
在我国学校的德育工作中,面对繁杂细致的班级管理,班干部的作用可谓举足轻重。那么在教育日趋国际化的今天,对留学生这一特殊的群体进行管理的时候,是否也可以采取同样的或类
作者结合多年的小学班主任实践工作经验,就新课程改革背景下的小学班主任工作如何开展问题进行了深入探讨,旨在为进一步促进新课程改革进言献策。
本文建立了重庆地区土地人口承载力的系统动力学模型,模型包括人口、土地利用、种植业、渔业、林业、畜牧业和粮食储备7个子系统。作者分析了模型的主要结构及其功能,并对模
目的:探讨维药异常胆质成熟剂(AbnormalSavdaMunziq,ASMq)对兔耳增生性瘢痕的影响。方法:选用成年新西兰大耳白兔15只,将其随机分为异常胆质成熟剂组、硅酮霜(SiliconeCream,
两性关系一直是莱辛关注的问题。她的短篇小说《屋顶丽人》讲述了一个女人与三个男人之间一场无声的战争,将两性之间的冲突展现在读者面前。本文通过分析主人公的行动与心理,
目的本实验研究了诊断性抗痨(short-term anti-tuberculosis)、外周血和脑脊液(cerebrospinal fluid,CSF)T细胞斑点试验(T-cell enzyme-linked immunospot assay,T-spot.TB)