基于PSS可复用测试场景的DMA验证

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:Thunder_
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文创新性的提出了一种新的验证流程,在传统验证流程的基础上引入PSS(Portable Stimulus Standard)。相比于传统验证流程,该PSS的引入开创性地实现了模块级和系统级的场景复用,使得模块级验证和系统级验证能够并行实现。本文的验证流程通过在传统验证流程的基础上进行优化,从而大大缩短了系统级的验证时间,显著提升了验证效率,有助于推动验证技术的进步和发展。根据验证层次,验证流程通常划分为模块级验证、子系统级验证和系统级验证三层。模块级和系统级验证侧重点不同,但对于模块级验证过的某些场景,在系统级还需要再次验证,从而消除在系统级模块集成过程可能出现的问题,所以系统级验证中还需要调用模块级验证中所构建的验证场景。但模块级和子系统级利用System Verilog语言构建测试用例,而系统级使用C语言构建测试用例。验证语言的不同,使得场景复用成为验证流程中的一大难题。系统级验证耗用大量的时间和人员精力,成为验证效率提升的瓶颈。本研究提出的新型验证流程可有效解决这一问题。本文选择DMA模块作为研究对象,主要研究内容和研究成果如下:(1)构建系统设计。利用Core consultant工具创建符合需求的DMA模块,完成模块级设计。利用Core consultant工具创建AHB Fabric作为系统总线,进行Coretex-M3核、DMA、以及其它IP模块的集成连接,对部分外设信号和中断信号进行统一处理,完成系统级设计。基于DMA模块自身功能、结构和系统设计中DMA的功能,提取功能点。(2)搭建模块级和系统级验证平台。基于UVM方法学,设计诸如AHB agent、寄存器模型、计分板和覆盖率模型等验证组件,实现模块级验证平台。根据系统设计结构,在部分IP模块外部集成VIP通用验证模型,在Fabric预留端口接入验证组件作为外部存储,并将模块级验证平台集成到系统验证平台中,完成系统级验证平台的搭建。(3)引入PSS,构建测试场景。根据设计功能结构和已提取功能点,创建PSS模型,构建测试场景。利用in Fact工具,将已有的PSS场景转换为对应的SV和C测试用例,分别进行模块级和系统级验证。PSS引入验证流程是本文的创新点,利用PSS构建测试场景生成测试用例改变了传统的验证流程,模块级和系统级验证同时进行,缩短系统级验证时间,提高验证效率。(4)运行测试用例收集覆盖率。运行SV和C测试用例,检查测试用例运行结果,利用DVE软件观察典型测试用例波形。在所有测试用例运行结束后,通过DVE分析覆盖率收集情况,完成DMA验证。(5)验证所有测试用例,实现覆盖率收集的百分百。验证结果证明,本文所研究的验证流程具有可行性和有效性。将本文验证流程与传统验证流程进行对比,构建测试用例效率提升30%,证明PSS的引入实现了场景复用,优化了验证流程,并提高了验证效率。
其他文献
水分子的解离是煤化学和可再生氢能源转化过程中的决速步骤。因此,合理设计催化剂、充分阐明构效关系,对获取高性能水分解催化剂具有重要意义。氧空位(Oxygen vacancy,Vo)是金属氧化物中最常见的阴离子空位,它能改变缺陷位点附近的局部电荷分布和电子能级。在催化反应中,Vo可以提供更多的催化活性位点,并显著影响金属与载体之间的电子转移和电子相互作用。Vo以其独特的物理化学性质在催化水分子解离过程
学位
背景恶性肿瘤是威胁人类生命健康的首要疾病,化疗是其综合治疗的重要组成部分,但传统小分子化疗药物存在毒副作用强、靶向性差、易耐药等缺点。纳米载药系统具有可控制药物释放、延长血液循环时间、增强生物相容性及肿瘤靶向性等优势,是肿瘤化疗以及联合其他治疗方式的研究热点。放射治疗是无法手术的局部晚期肿瘤的治疗方法之一,通过细胞水电离产生细胞毒性氧自由基,可无深度限制的杀死癌细胞,但因受限于周围正常组织的破坏而
学位
晶体生长前沿是否存在预有序结构或预有序相是经典一步生长模型和多步生长模型的本质区别。深入理解高分子相转变中晶体生长机制是改变聚集态结构,继而调控其性能的关键,也是高分子物理与高分子加工中的重要研究课题。片晶生长前沿的界面层不但可能包含中介相(其有序程度介于晶体与无定形相之间),同时还可能包含有形成中介相前的熔体和中介相结晶形成的初生微晶。界面层结构的快速演化和空间分布上的非均质性,导致现有表征方法
学位
<正>自2014年起,福建省教育厅每年定期举办"福建省高校师范生教学技能大赛"(以下简称"省赛"),"中学组"除化学学科之外,其余学科的比赛内容,均为初二年级内容,比赛的核心环节是15分钟的片段教学.在指导学生训练和参赛的过程中,发现了教学中存在的种种问题,有些问题在一线教学中也存在,具有一定的普遍性,现归纳为以下八个方面阐述之,希望对数学教学有所裨益.
期刊
针对激光选区熔化(SLM)成形件表面粗糙度较高这一问题,基于SLM分层加工原理,以台阶效应、粉末粘附和翘曲变形为主要影响因素,建立了下倾斜表面粗糙度的预测模型。选用激光选区熔化成形316L不锈钢零件,并测量零件的下倾斜表面粗糙度,表面粗糙度的测量值与预测值进行对比分析。实验结果表明:熔道搭接与台阶效应相结合、粉末粘附现象的等效变换以及翘曲变形后的角度变化三种建模思路是可行的,粗糙度预测模型的主要参
期刊
作为垄断协议中的新类型,轴辐协议兼具横向垄断协议与纵向垄断协议的双重属性,突破了早已形式化的垄断协议二分法的枷锁,在具有巨大危害的同时却缺乏有效的反垄断法规制。这既因为轴辐协议本身的特殊结构在理论上带来了理解与认定的双重困境,影响了执法机关的主动性;又因为我国《反垄断法》缺少对轴辐协议的必要回应,使得依照现有垄断协议规制路径无法实现有效规制。由此,为探寻轴辐协议的最佳规制路径,应在彻底理解轴辐协议
学位
受限于采集设备、传输网络和压缩技术等现实条件影响,视频文件在采集、压缩、传输、解码、显示的过程中,不可避免会产生失真。视频质量评价方法(Video Quality Assessment,VQA)旨在为存在失真的有损视频提供符合人类视觉感知的质量评价。因其在衡量视频处理系统性能以及评估用户视觉体验上具有不可或缺的价值,VQA技术被广泛应用于视频媒体平台、终端设备、无人机采集系统等。现有客观VQA算法
学位
激光选区熔化凭借近净成形优势在钛合金加工领域展现出巨大应用潜力,其快速冷却条件形成的特殊组织带来了优异性能,因而受到广泛关注。亚稳β钛合金因其出色的机械性能逐渐应用于航空航天领域,本研究采用真空电弧熔炼(VAM)和激光选区熔化(SLM)制备了Ti-1023合金试样,并对其组织性能进行测试分析。结果表明:SLM快速冷却条件抑制了β→α的相变过程,形成全β相组织,而VAM试样为α+β双相组织构成。虽然
期刊
随着近些年来自然语言处理以及深度学习的飞速发展,自然语言生成领域展现出了新的活力,为迎合用户多种需求而产生的自然语言生成场景也成为了学术界和工业界探讨与研究的热点。自然语言生成可以简单划分为数据到文本的生成以及文本到文本的生成,旨在通过分析并理解输入的数据或文本,进而撰写得到符合用户需求的自然语言文本。自然语言生成技术已经广泛应用在了智能助理、机器翻译、人机对话、智能写作等领域,并成为了人工智能逐
学位
忆阻器是一种具有记忆功能的新型电学元件,具有同时实现存储和运算的潜力和优势,有望解决冯·诺伊曼瓶颈和存储墙问题。研究人员发现单个忆阻器的尺寸可以小至纳米级别,进而可被应用于高密度存储器。除此之外,忆阻器还具有突触特性,适合人工神经网络的构建。在这些领域中,忆阻器通常被期望具有较高的开关比以明显区分逻辑0和逻辑1。忆阻器种类繁多,其组成涵盖了从有机材料到氧化物的极广范围,堆叠层数也可从三明治结构扩展
学位