面向无线传感器网络的UVM验证方法应用研究

来源 :西安电子科技大学 | 被引量 : 0次 | 上传用户:yancliu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着SoC系统规模的持续扩大,系统验证复杂度也随之增加。传统的验证方法很难进行完备的验证,验证技术已成为制约SoC技术发展的瓶颈。为缩小与设计制造的差距,一系列高级的验证方法学和验证语言得到了快速发展。UVM(Universal Verification Methodology)验证方法学是由众多业内专家为了自身研发的需求联合研发的一种具有强大功能的验证方法学。研究及应用UVM验证方法学具有重要的实用意义。本文研究了基于UVM验证方法学与SystemVerilog语言来搭建可重用自动化验证平台的方法,并用其进行ZigBee无线传感器网络芯片发送子系统的功能验证。论文对UVM验证方法、验证平台设计、无线传感器网络发送子系统等展开了深入的研究,具体的研究内容及主要成果如下:1.论文首先对所使用的UVM验证方法进行了详细的分析,包括所涉及到的概念、重要的功能机制、UVM验证方法学的优点及基础框架。在分析验证平台整体结构的基础上,采用自顶向下方法设计通用验证平台的5层功能模型,包括顶层、测试用例层、环境层、功能层与信号命令层。通过各层之间的端口实现了信号参数的传递。2.详细分析了待测试的无线传感器网络芯片发送子系统的协议、接口及基本功能结构。提出了待测试实例(DUT)的待测功能点和相应的验证方案,并提出无线传感器网络芯片发送子系统验证平台的整体结构。3.根据验证平台设计方法及结构,搭建无线传感器网络发送子系统验证平台,完成验证环境各级组件的设计实现,包括信息传输类、信号命令层组件、代理器、参考模型、记分板、环境组件、测试用例层组件等,并对验证环境的可重用性进行了分析。4.论文采用SystemVerilog语言设计实现了基于UVM的无线传感器网络验证平台,并在ModelSim环境下进行了验证测试。验证结果包括计分板对标准结果与待测结果的对比输出,用于辅助观测DUT的输入与输出的仿真波形及覆盖率统计。仿真结果显示本文分析出的功能点全部被覆盖,语句覆盖率达到了90%以上。其结果表明所设计的ZigBee无线传感器网络芯片发送子系统可以准确完成其预定功能,并且证实了基于UVM验证方法学可以高效的设计出可重用性强、易扩展且自动化程度高的验证平台。本文遵循UVM验证方法学所搭建的验证平台有较高的可重用性,并可为相关项目提供一个设计验证平台的参考。
其他文献
工作流管理系统是定义、创建和管理工作流运行的系统软件。它在企业级应用有着很大的市场,全世界有很多研究机构、软件厂商和大学都对工作流管理系统给予了极大的关注。国内
生长在不同的力学环境下的活体细胞将发生多种不同程度地适应性变化。定量研究细胞和亚细胞结构的运动和形态的动态变化特性,有助于理解力学刺激和细胞生长的关系,也有助于理解
可定向投放是网络广告的一大特点。数字时代的新技术使网络广告的定向投放成为可能:网络广告可以投放给某些特定的目标人群,甚至可以做到一对一的定向投放。数据挖掘作为一种先
目前世界上所有的数据库系统都没有提供故障排除的功能,全是容错概念,鉴于国内外技术现状归根结底都是容错技术,不可避免存在两个问题,一是允许故障共存,无法预防故障的发生,
使用IEEE 802.11协议的无线局域网(Wireless LAN, WLAN)当前已经有了广泛的市场应用,但是由于无线网络开放性的特点和802.11协议自身存在的缺陷,无线局域网的安全性一直受到
通过图形学的方法描述自然界的各类现象一直以来都是计算机图形学研究者所关注的重点,而对动态流体的模拟问题更是其中的难点研究问题。从流体模拟方法的发展进程来看,经典几
机器音译就是根据发音将给定的源语言中的专有名词自动翻译成目标语言对应的词汇的过程。相对于机器翻译而言,机器音译不存在语义层次的翻译要求,并且是一种顺序翻译的过程,
Internet的不断发展,网上新闻信息的获取已成为人们知识来源的主要途径。但是,随之而来的“信息爆炸”,使得人们通过搜索引擎或者浏览网页很难从大量的地搜索结果中获取方便的、
随着搜索技术的发展,纯粹的web搜索由于受到IE的束缚,因而表现出应用能力偏低,而基于桌面的搜索则相当于一个“客户端+数据库”这样的应用模型,尤其加入了划词搜索的功能,这也使得
学位