基于UVM方法学的SID2.0 IP模块级验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:lsyuanxue
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着芯片市场的不断发展,芯片的集成度不断提高,芯片设计中IP复用技术可以大幅度减少芯片开发和投产时间,在So C芯片中的应用越来越广泛。SID2.0 IP模块可以适配不同的需求,具有高安全性,高兼容性,是拥有自我知识产权的EFUSE(可编程电熔丝)控制器。具有安全区域划分,数据加扰,颗粒度保护,ECC校验,back up备份以及硬线输出等功能,能够支持1kb至8kb大小的EFUSE,支持自定义分区,最大支持96个region。SID2.0 IP设计功能齐全,适配性高,可运用范围广,对于模块级验证需求较高。本篇论文是针对上述要求,基于System Verilog语言的UVM方法学所代表的新一代验证策略,对SID2.0 IP模块作为验证核心展开研究。UVM方法学可以保证各个验证组件功能划分明确,验证平台层次清晰,功能完整,具有较高的复用性和移植性,是现今应对复杂芯片验证的重要手段之一。本文从分析设计报告和设计代码入手,总结模块测试需求和提取功能验证点。并根据IP模块的功能搭建验证平台并构造测试用例。为了满足SID2.0 IP支持的多种配置EFUSE的验证需求,验证环境内部采用了perl脚本和EXCEL表格结合生成配置文件的方法,验证环境只需通过识别不同的配置文件即可完成对不同EFUSE配置的功能验证,大大提高了验证效率。在验证平台的搭建过程中,根据SID2.0模块的通信要求,分别建立了EFUSE和SRAM的接口模块和与接口对应的transcation模型。并根据待测逻辑需求建立了参考模型,监视器,计分板和寄存器模型等验证组件,最后采用UVM方法学中的TLM1.0通信协议完成各验证组件之间的通信连接。验证平台搭建完成后,根据审核通过的验证功能点,构造符合要求的测试用例,对SID2.0 IP模块的功能进行验证。为了提高验证平台的可操作性和自动化程度,编写测试用例回归脚本,脚本可以通过传入参数,选取当前需要回归的配置文件,并根据宏定义情况完成用例筛选。脚本可以对测试用例添加随机种子,当测试用例回归完毕后,输出验证结果文件,便于后续的debug环节。脚本文件可以保证SID2.0 IP的模块级验证平台具有良好的可移植性和可复用性,只需根据配置说明和设计文档中的EFUSE分区情况修改EXCEL表格文件,即可完成对当前模块的验证需求,这使得本验证平台能够更好的服务于后续项目。通过以上研究方法,构造可能出现的EFUSE配置情况并完成大规模随机回归测试任务,SID2.0模块的代码覆盖率为96.01%,功能覆盖率100%,满足了模块的验证需求和工作预期,保证了SID2.0 IP模块功能正常运行。
其他文献
研究目的:观察离心力竭运动、钝挫伤对大鼠骨骼肌细胞自噬相关因子Beclin1、LC3,线粒体自噬相关因子PINK1在损伤后即刻、24h、48h不同时相的变化,探讨不同损伤方式过程中相关自噬因子的变化趋势与自噬水平的变化。研究方法:将雄性8周龄SD大鼠作为研究对象,共分为7个实验组,分别为安静对照组(C组)、离心力竭运动即刻组(E0组)、离心力竭运动24h组(E24组)、离心力竭运动48h组(E48
独立董事制度起源于美国。美国在一元制公司治理模式下,为了使董事会更有效地监督管理层,建立了独立董事制度。我国采用二元制公司治理模式,引入独立董事制度的必要性和价值
《民事证据规定》第35条第1款对法官告知当事人变更诉讼请求的事项作了具体规定。民事诉讼理论界对该条文已经做了较多研究,实务界也对该条文的施行情况进行了多次调研,既有的研究成果可谓非常丰富。但是前述研究仍存有不足之处。一方面,我国立法上并未采用释明这一概念,而大部分学者直接将35条第1款规定的法官告知简单地等同于法官释明,未对诉讼请求告知事项是否属于释明范畴严谨论证。与此同时,自《民事证据规定》实施
近年来,西夏学研究资料不断丰富,研究领域逐渐宽泛。西夏黑水城出土的唐卡作为西夏文化遗产的重要组成部分,具有重要的研究价值。同时,数字化技术和计算机视觉的发展为唐卡图像保护与检索提供了技术支持。将先进技术应用于西夏黑水城唐卡图像检索系统开发,将有利于我国珍贵的藏传佛教历史文化遗产的数字化永续保护以及传统优秀文化的传承和发扬。本文以黑水城唐卡图像为主要研究对象,将唐卡图像库中的图像按主尊人物分为佛像、
癫痫是一种会反复发作的大脑神经元异常放电引起的疾病,为了探索更加便捷有效的分析方法辅助对癫痫疾病的临床诊疗与监测,本文对癫痫病患者的生理电信号进行了分析,以脑电信号为主,心电信号为辅分析癫痫病患者与正常人之间的异同点。本文从频域的角度,引入了瞬时幅度、瞬时频率与瞬时相位来分析癫痫患者的生理电信号,通过幅度与幅度的交叉调制、幅度与频率的交叉调制、频率与频率的交叉调制,剖析了脑电信号与心电信号之间瞬时
目的探讨二甲双胍联合阿帕替尼对胃癌(BGC-823、SGC-7901)细胞系增殖、迁移能力、凋亡及细胞周期的影响及可能的作用机制,为胃癌的治疗提供实验依据。方法1、MTT法检测细胞增殖抑制率。采用不同浓度二甲双胍(0-30 mmol/L)、不同浓度阿帕替尼(0-60μmol/L)及两药联合应用分别处理胃癌BGC-823细胞和SGC-7901细胞24 h、48 h、72 h,MTT法检测细胞增殖抑制
在中国,大学生英文写作不仅是语言教学的重要组成部分,而且是各类英语考试中必不可少的重要考项,且占相当重的比分。提高写作能力,增强语篇连贯也是大学英语教学的主要目标之一。话语标记语是实现语篇衔接和连贯的一个重要手段,以使交际顺利进行,并帮助读者寻找最佳语境假设和语境效果。然而,由于对话语标记语的准确使用存在困难,中国大学生写作中的一个主要问题是句式松散、连贯性差或文字勉强连贯。国内外的研究者们从不同
伴随科技的发展,面对人类无法胜任的高难度、高风险、高含量任务,无人机应运而生。它是一种由无线电来操控的设备,遂有人称将其为遥控驾驶航空器。由于无人机具有体积小、航程远等优势,因此在自然环境考察、科普研究、农业领域、维护国家主权与公共卫生安全等方面都有所应用。剑桥大学出版社发行的《无人机网络与通讯》一书带领我们了解了无人机的类型、设计挑战、优势、无人机网络以及其最新进展等各个方面,其内容客观、严谨、
我国正逐渐从高等教育大国向高等教育强国迈进,高等教育强国、“双一流”建设均强调要从粗放式发展向内涵式发展转变。为满足社会复杂的高等教育需求,大学应实现利益相关者的共同“善治”。大学生是高校的核心利益相关者,是大学治理的参与者,也深受大学治理进程的影响。那么,大学治理中的学生体验到底是怎样的,就成为了一个需要探究的重要议题。学界现有大学治理相关主题的研究主要涉及大学治理的目标、要素、结构等,与大学生
研究目的:探讨PTP1B的敲低是否抑制胶质瘤细胞的增殖,迁移和侵袭,以及潜在的机制。研究方法:体外培养神经胶质瘤细胞系U87。设计并合成PTP1B干扰质粒,以慢病毒为载体转染到U87细胞中,同时用空质粒转染到U87细胞中作为对照组,记为空载组(shNC组)。通过蛋白质印迹法测定空载组和PTP1B基因特异性shPTP1B组的U87细胞中PTP1B的蛋白表达水平,验证基因敲低PTP1B表达的效率。证实