基于Python的EDA验证框架的研究与实现

来源 :华南理工大学 | 被引量 : 0次 | 上传用户:babyjl1219
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着半导体工艺技术不断提高,芯片设计规模也在不断增大,特别是基于IP复用的设计方法学被提出,越来越多的处理器、存储器等都集成到系统级芯片中。为了满足设计规模越来越大的验证需求,提高验证效率就显得非常重要。基于System Verilog的UVM(Universal Verification Methodology)的提出,大大提高了验证工作的效率,因此成为业界验证的主流。然而从EDA验证框架角度考虑,验证效率仍有很大的提升空间。使用更高层次的语言进行芯片验证,像进行软件测试一样操作硬件,成为本文的研究目标。本文基于Python环境,以开源项目Cocotb作为全新的验证平台,结合uvm-python开源项目,研究并实现全新的EDA验证框架。在全新的EDA验证框架中,为了统一在Python环境中采用UVM验证时的编码风格,缩短验证平台搭建时间和提高代码的复用,实现Python版本的UVM代码生成器,并研究在当前EDA验证框架下如何进一步提高验证效率。本文所做的具体工作如下:(1)实现uvm-python代码生成器。基于UVM的可重用性研究,设计在Python环境中的UVM组件模版、寄存器模版,以此构建验证环境的基本结构框架。利用该代码生成器能够快速搭建UVM的验证环境并将寄存器模型集成到验证环境中。(2)针对Cocotb的性能瓶颈问题,提出提高Cocotb性能的一种解决方案,设计了Python环境的HVL域和仿真器环境的HDL域的双域协同仿真,由无时序的HVL域代理调用有时序的HDL域,实现无时序的事务级信息传输,通过降低Cocotb与仿真器的交互频次,减少仿真运行时间,提高验证效率。(3)实现在Python验证环境的波形重现,设计波形文件提取工具,将波形信息转换为在Python环境的数据结构,生成具有语义的日志信息。利用该工具方便验证工程师对仿真输出的波形进行验证分析。(4)EDA验证框架的应用。以MCDF设计作为待验设计,应用uvm-python代码生成器生成UVM验证环境的基本框架,并利用该代码生成器生成MCDF的寄存器模型。补充实现用户自定义代码,完成功能验证,并利用输出的波形文件展示如何将无语义的波形信息转化为有语义的日志信息,最后使用了双域协同仿真方式并展示仿真运行效果。经统计,用户自定义实现的代码占全部验证代码的四分之一,有效缩减搭建平台所需的时间。此外基于事务级信息传输的方式的仿真运行时间有效减少了20%,而查看日志信息比波形文件更容易定位设计模块的运行状态。本文研究的基于Python的EDA验证框架,实现了提高验证效率的目标。
其他文献
人体在行走过程中被物体遮挡在监控视频中是一种很常见的现象,遮挡问题一直困扰着后续视频分析任务。为减轻遮挡所带来的影响,需要修复人体被遮挡的部位。现有方法在修复时没有考虑人体的语义信息,会出现使用背景信息修复人体部位的情况,导致修复的区域不清晰或颜色错误。本文提出了一种基于姿态的人体行走视频修复模型,从而显式地考虑人体信息。本文认为人体行走视频修复应先从人体姿态着手,即先修复视频中残缺的人体姿态序列
学位
脂肪细胞分化和脂肪沉积是影响肉牛生长发育和牛肉品质的重要因素,也是现代肉牛育种和生产中密切关注的技术重点和难点。miRNAs作为一类重要的遗传调控元件,通过与靶基因mRNA结合,在转录后水平调控反刍类动物肌肉发育和脂肪分化性状候选基因的表达和功能。目前,部分研究表明miRNA与脂肪细胞分化和脂肪细胞功能有关。实验室前期亦通过牛前体脂肪细胞和终末成熟脂肪细胞差异表达miRNAs筛查分析,获得脂肪细胞
学位
牛肠道病毒(bovine enterovirus,BEV)和柯萨奇病毒、脊髓灰质炎病毒等同属于小RNA病毒科(Picornaviridae)肠道病毒属的成员。BEV感染能够在临床上引起牛呈现以消化系统和呼吸系统症状为主要特征的传染病,且可与其它病毒混合感染,给我国养牛业造成了较为严重的经济损失。前期研究发现,HY12毒株对小鼠具有很高的侵袭力,感染后短时间就能够在多个组织中定殖,甚至能够侵袭中枢神
学位
近年来,如何使用机器学习进行股票选择成为了量化交易领域的一个热门研究方向,并且已经为许多投资公司带来巨大的经济效益。然而,目前的机器学习选股算法仍然存在着一定的局限性:大部分算法都使用分类或回归的方式进行求解,但选股问题本质上更接近于排序问题,对分类或回归指标进行优化并不能得到最优解;与此同时,机器学习模型本身的高复杂性和低解释性,使得其决策过程难以被人脑直观理解,投资人无法赋予机器学习模型足够的
学位
随着互联网的迅猛发展,人们普遍面临的信息过载问题日益严重。推荐系统的存在降低了用户获取有效信息的成本,提高了广大用户的上网体验,缓解了信息过载问题。基于会话的推荐系统是现代推荐系统的一个重要分支,其目的是根据匿名用户在一个会话内的行为序列(如商品点击序列),预测用户下一个点击的商品。随着对会话推荐问题研究的不断深入,许多不同的解决方法被提了出来。现有方法都是从相邻的多条会话序列中挖掘相似的用户行为
学位
乳腺炎是一种奶牛中常见的传染性疾病,其影响范围广且容易复发。病原微生物感染乳腺,释放脂多糖(LPS)等大分子物质刺激免疫反应,引发乳腺炎。乳腺炎的发生不仅损害奶牛的健康,导致奶牛淘汰增加、生产寿命减少、治疗费用增加,还会引起产奶量减少,乳品质下降,造成经济损失。因此,奶牛乳腺炎的预防和治疗至关重要。鱼腥草(H.cordata)是一种传统的中草药,被广泛应用于临床治疗。已有研究表明,鱼腥草具有抗菌、
学位
脱氧雪腐镰刀菌烯醇生物作用众多,它的英文全称是Deoxynivalenol,一般简称为DON,这种物质在生化作用中起着负面作用,即使是残留部分,如果畜禽食用后,会引起强烈的呕吐反应,由于这种现象,通常人们又将它称作呕吐毒素。由于人类是食物链顶端的食肉动物,在食物链任一环节中,若有动物食用该到呕吐毒素时,最终都会通过食物链进入人体。因此,这种物质对人类来说,同样具有一定的危害作用。呕吐毒素是镰刀菌属
学位
人脸识别技术已经成为日常生活中应用最广泛的身份认证方式,但是人脸信息极易泄露,攻击者仅通过成本较低的打印攻击或视频重放攻击就有可能攻破人脸识别系统,相关事件也时有发生,给人脸识别系统的安全应用带来了极大的挑战。目前业界先进的人脸反欺诈算法借助深度学习技术实现了非常好的欺诈人脸检测效果,但是他们都只考虑如何提高欺诈人脸检测效果,为此他们提升了网络的大小,引入了RGB模态之外的信息和时序信息。这些方法
学位
热休克蛋白A6(heat shock protein A6,HSPA6)是HSP70家族中的一员,属于严格诱导表达型基因。HSPA6基础表达水平较低或不表达,当在特定应激源的刺激条件下,其表达水平会迅速、显著升高。相对于HSP70家族的其它成员,关于HSPA6基因的研究较少,目前针对HSPA6的转录调控序列元件及调控机制方面的研究仍有待完善。近期关于该基因启动子序列的分析结果表明,在转录起始位点-
学位
三维网格模型的轮廓渲染(描边)有着广泛的应用。基于CPU的描边算法,虽然能实现较高级的风格化处理,实现,但只能离线渲染,无法达到实时。而基于GPU的实时加速算法又往往受限于GPU的并行特性,不得不牺牲部分高级风格化效果。其原因在于这些实时算法都无法将轮廓元素(网格边或是屏幕像素)链接(矢量化)成线条。本文提出了一个基于GPU的实时网格轮廓渲染方法,包含如下几个环节:首先,从三维网格模型中提取轮廓线
学位