AFDX端系统设计及UVM应用研究

发布时间：2017-10-20 08:49

  本文关键词：AFDX端系统设计及UVM应用研究

  更多相关文章： 端系统 FPGA UVM 验证

【摘要】：AFDX端系统是新一代航空数据总线AFDX系统中重要的组成部分,是实现子系统与AFDX网络建立通讯连接和子系统间互通消息的关键技术。随着AFDX系统在新推出机型上的广泛应用,对端系统的设计和验证的研究变得越来越重要。本文针对AFDX端系统进行硬件电路设计,同时搭建基于UVM方法学的验证平台对其进行验证。在对端系统进行硬件电路设计时,选择W5100网络模块完成端系统和网络之间的数据通信功能,使用FPGA最小系统板完成对数据收发和W5100芯片状态的控制。搭建基于UVM的层次化验证平台,同时结合约束随机测试、线程同步技术和SVA断言等多项业界先进的验证技术,对端系统进行RTL级的验证。在验证过程中收集并分析覆盖率数据,根据覆盖率分析报告完成UVM验证平台在实际验证中的应用研究。传统的验证平台结构简单,可重用性差,验证效率低。本文搭建的UVM验证平台将验证的职能进行了细化和分离,这样只需对平台的某些职能模块进行修改就可以对不同的待测设计进行验证,极大地增强了平台的可重用性。使用约束随机测试和SVA断言技术,能在验证过程中节省大量的时间和精力,提高了平台的验证质量和验证效率。
【关键词】：端系统 FPGA UVM 验证
【学位授予单位】：中国民航大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：V243
【目录】：

• 摘要5-6
• ABSTRACT6-9
• 第一章 绪论9-13
• 1.1 课题研究的背景及意义9-10
• 1.2 国内外现状10-11
• 1.3 论文的主要内容及结构11-13
• 第二章 端系统设计13-23
• 2.1 AFDX网络及端系统的介绍13-14
• 2.2 端系统总体设计说明14-15
• 2.3 硬件电路设计15-18
• 2.3.1 FPGA芯片选型15
• 2.3.2 最小系统设计15-17
• 2.3.3 网络通信电路设计17-18
• 2.4 W5100网络模块配置18-22
• 2.4.1 网络连接模式设置18-20
• 2.4.2 收发命令设置20-21
• 2.4.3 端口状态读取及收发控制模块设计21-22
• 2.5 本章小结22-23
• 第三章 基于UVM的验证平台搭建23-40
• 3.1 验证流程的制定23-25
• 3.2 验证语言及工具的选取25-26
• 3.2.1 验证语言选取25-26
• 3.2.2 验证工具选取26
• 3.3 验证平台的搭建26-33
• 3.3.1 验证平台的总体结构27-28
• 3.3.2 验证平台的结构实现28-29
• 3.3.3 验证平台各组件的实现29-33
• 3.4 使用的验证技术33-39
• 3.4.1 定向测试33-34
• 3.4.2 约束随机测试34-36
• 3.4.3 线程同步技术36-37
• 3.4.4 SVA断言技术37-39
• 3.5 本章小结39-40
• 第四章 端系统的功能验证及覆盖率分析40-47
• 4.1 代码规则检查40-41
• 4.2 仿真分析及板级测试41-43
• 4.3 覆盖率分析43-46
• 4.3.1 覆盖率介绍43-45
• 4.3.2 收集覆盖率数据并分析45-46
• 4.4 本章小结46-47
• 第五章 结论47-49
• 5.1 论文总结47
• 5.2 展望47-49
• 参考文献49-52
• 致谢52-53
• 作者简介53

【参考文献】

中国期刊全文数据库 前2条

1 尹路;王勇;郭利锋;;基于FPGA的AFDX协议处理芯片设计[J];计算机工程与应用;2011年21期

2 李哲;田泽;杨峰;张荣华;王治;;基于AFDX网络终端系统SoC的FPGA原型验证[J];航空计算技术;2010年02期

中国硕士学位论文全文数据库 前10条

1 薛磊;基于通信行为证据链的木马检测系统[D];南京邮电大学;2013年

2 魏潇;AFDX交换机路由警管模块的设计与验证[D];西安电子科技大学;2013年

3 刘建平;AFDX端系统协议栈虚拟链路层的应用研究[D];哈尔滨工业大学;2012年

4 赵攀峰;Java卡代码覆盖率度量技术的研究与实现[D];北京交通大学;2012年

5 孙盟哲;基于断言的PCI总线控制器核功能验证研究[D];哈尔滨工程大学;2012年

6 陈鹏;EPA网络芯片验证平台的设计与实现[D];浙江大学;2011年

7 何晔;AFDX航空通信网络协议研究及FPGA实现[D];哈尔滨工业大学;2011年

8 罗西;基于FPGA的AFDX端系统设计[D];中南大学;2011年

9 胡晋彬;数据路由系统基于System Verilog语言的验证[D];北京交通大学;2010年

10 叶茂;基于VMM的验证平台的研究与实现[D];华中科技大学;2008年

，

本文编号：1066353