【摘 要】
：
近几十年来,随着芯片尺寸和复杂度的增加,在IC设计中引入错误的可能性也大大增加,随之而来的是更加艰巨的验证工作。由于传统的验证技术已经不能满足日益增长的验证要求,因此诞生了各种验证方法学。其中,UVM(Universal Verification Methodology)是当前使用最广泛的验证方法学。本文基于UVM方法学,搭建了UHF RFID数字基带处理单元的验证平台。论文在研究ISO/IEC
论文部分内容阅读
近几十年来,随着芯片尺寸和复杂度的增加,在IC设计中引入错误的可能性也大大增加,随之而来的是更加艰巨的验证工作。由于传统的验证技术已经不能满足日益增长的验证要求,因此诞生了各种验证方法学。其中,UVM(Universal Verification Methodology)是当前使用最广泛的验证方法学。本文基于UVM方法学,搭建了UHF RFID数字基带处理单元的验证平台。论文在研究ISO/IEC 18000-6C UHF RFID协议和数字基带处理单元的功能的基础上,制定出了验证计划,并且定义了功能测试点。基于协议,对UHF RFID基带信号处理单元进行了C语言建模。之后,搭建了基于UVM的验证平台,实现了组成平台的各个组件。其中,C参考模型的接入是利用System Verilog语言的直接编程接口(DPI)实现的。C模型与UVM混合仿真验证平台的搭建,是本文的研究重点。与基于定向测试的传统验证方法相比,本方案能够在较短的时间内产生大量的测试用例进行验证,因此可有效提高验证效率,缩短验证时间。最后,在仿真验证中,运行了包括基于覆盖率驱动的有约束随机激励和定向激励在内的所有测试用例,并对其中比较重要的波形进行了分析。最终仿真结果表明,设计功能正确,功能覆盖率达到了100%,代码覆盖率高于95%,验证目标完成。
其他文献
在当下激烈的市场竞争中,创造一个新品牌会耗费企业大量的时间和资金,并承担市场未知的风险考验。因此,企业可能会更愿意采取相应的措施去保护已有的品牌价值。商标延伸注册
当前主流的自适应图像隐写算法可以有效地保证在无损信道中隐蔽传输信息。但近年来越来越多的社交平台采用了有损信道来传输图像,导致自适应图像隐写算法在实际社交网络中隐蔽传递信息的应用受到了限制。因此,研究能够在有损信道中有效传递隐蔽信息的鲁棒图像隐写算法势在必行。为了提高隐写算法的抗检测性和鲁棒性,本文提出了一种基于DCT符号翻转的鲁棒图像隐写算法。另外,为了解决社交平台有损信道攻击的多样性造成推荐的符
我国于2000年步入人口老龄化社会,并带有老年人口基数大,老龄化速度快的特点,养老问题一直是社会关注的焦点。传统的家庭养老方式受家庭结构小型化、人口流动加速等社会背景的影响被不断瓦解,机构养老又存在体制僵化固有的弊端,使我国的养老问题日益凸显。在这样的社会背景下,我国政府不断完善养老服务体系,近些年来把视野转向西方发达国家发展成熟的“社区照顾”,且初步探索出具有中国特色的社区居家养老。社区居家养老
随着经济发展,我国企业竞争日益激烈,伴随而来的是风险也逐步升高,很多企业失败的重要原因是内部控制存在重大缺陷,完善内部控制己经成为大势所趋。内部控制存在于企业业务活动的方方面面,只要存在经济管理活动,企业就需要有完善的内部控制对其进行制约。对企业内部控制活动进行完善,不仅可以使企业会计信息质量得到提高,还可以提高资产安全性,使企业逐步实现战略目标,提高经济效益,是防范和控制所面临风险的重要方式。现
通信系统中保障数据传输的可靠性一般有两种方案:一是使用较稳定的通信协议如TCP/IP协议,二是使用前向纠错技术(Forward Error Correction,FEC)。TCP/IP协议不适合通信领域中的组播和广播业务,大规模分发数据和可靠地组播/广播成为了多媒体业务亟待解决的难题之一,而数字喷泉码作为一种使用前向纠错技术的信道编码,可以解决此难题。LT码(Luby Transform Code
尾矿库是指筑坝拦截谷口或围地构成的用以堆存金属非金属矿山尾矿的场所,是维持矿山正常生产的必要设施。作为一种具有高势能高破坏力的人造危险源,尾矿库一旦发生失稳破坏,将对人民生命及财产安全带来巨大的危害,同时对周边环境也将造成不可逆的破坏。尾矿排放时通常伴随大量选矿水,使尾矿库水呈现不同的酸碱性,其长期浸泡下的尾砂会发生不可忽视的物化特性改变,进而影响坝体的稳定性。因此,本文结合实际工程项目,通过室内
猪流行性腹泻(Porcine epidemic diarrhea,PED)是由猪流行性腹泻病毒(Porcine epidemic diarrhea virus,PEDV)引发的一种以呕吐、腹泻和脱水为特征的高度接触性肠道传染病,各年龄猪群均易感,尤其对哺乳仔猪的危害最大,死亡率高达90%,对全球的养猪业造成巨大的经济损失。研究发现,变异的PEDV毒株无法使现有的疫苗进行有效的免疫,因此,从遗传学角
自改革开放以来,我国的经济结构和制度建设发生巨大变革,在多种经济所有制共同发展的今天,民营经济已成为国民经济的重要支柱,中小民营企业也成为带动经济发展的生力军和中坚
企业自媒体是一种利用成熟的信息技术来实现及时的信息披露的数字化平台,它可以帮助企业增强与用户之间互动积极性、传播企业文化、扩大企业品牌影响力。但许多企业自媒体出现了用户取关、信息内容点击率低的现象,这暴露出了自媒体平台信息过载和内容同质化的问题,如何对企业自媒体进行有效的管理是目前很多企业面临的难题。另外,学术界对于企业自媒体的研究滞后于实践的发展,对自媒体的研究还是框架性的研究。因此,本文基于期
在计算机辅助几何设计中,布尔运算是一种构造实体的常用方法.自从十九世纪八十年代布尔运算被提出后,后来此方向的研究工作大多是在效率与鲁棒性间做权衡.在早期,提出了很多基于BSP树的布尔运算.不过,由于BSP树的内在缺陷,现在许多学者已经不再对如何将BSP树应用到布尔运算中感兴趣,转而研究基于B-rep表示的布尔运算算法,而我们的算法也正是基于此类表示.为了保证输入网格是某个实体的边界表示,大部分算法