基于VMM的光纤通道验证平台研究

发布时间：2017-05-29 08:03

  本文关键词：基于VMM的光纤通道验证平台研究，，由笔耕文化传播整理发布。

【摘要】：随着集成电路的复杂程度越来越大,尤其是在SoC技术和IP复用技术日趋成熟的情况下,怎样能够有效的验证芯片的功能就变得至关重要。在如此背景下,对验证的需求也变得越来越大,VMM验证方法学也据此背景而被提出来,具有相当大的理论以及实际意义。本文对VMM验证方法学作出了较为深入的研究。首先归纳并总结出SystemVerilog七个特点并进行了逐一的介绍:受约束的随机激励、可重复利用性、接口(interface)、特定的内部连接机制、测试案例和功能覆盖率、与软件语言的接口(DPI)以及断言。然后对VMM验证方法学所提出的分层次的基本架构以及架构内各个模块的具体功能进行了详细介绍。VMM验证方法学提供了标准库,验证者只需要对这些基本库进行扩展就能实现更加具体的功能,本文也对该标准库进行了较为详细的介绍。本文搭建了基于VMM的光纤通道的验证平台,对于被测程序即光纤通道点对点模块设计的了解也是验证所必须的。在介绍完VMM验证方法学后,本文对被测程序的整体模块以及内部具体分模块的实现方案进行了详细的介绍。验证平台需要用到被测程序对流量的控制等接口,所以对于被测程序分模块对外的接口本论文也进行了较为详细的陈述根据被测设计的具体功能,对光纤通道点对点设计的分层次验证环境进行了总体方案的提出以及具体模块的详细设计。对数据类、接口、配置类、发生器、驱动器、监视器、回调、记分板以及环境类的具体实现方案进行了详细的说明。最后本文介绍了基于此验证环境所提出的验证方案以及根据此验证方案所编写的测试案例,并对验证工具的运行进行了比较详细的说明,使用VCS进行了仿真,分析了仿真出来的结果。通过自己的切身体验发现VMM确实能够大大的提高工作效率。使用VMM验证方法学搭建的验证环境具有很高的可重复利用性,也能利用到其他类似的被测程序中,通过扩展以及测试案例的编写,使其能够验证更多的功能。
【关键词】：验证方法学 FC光纤通道 验证平台 功能验证
【学位授予单位】：电子科技大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TN929.11
【目录】：

• 摘要5-6
• ABSTRACT6-10
• 第一章 绪论10-13
• 1.1 选题依据及研究意义10-11
• 1.2 国内外研究现状和发展态势11
• 1.3 课题内容及论文结构11-13
• 第二章 VMM验证方法学13-24
• 2.1 SystemVerilog简介13-19
• 2.1.1 受约束的随机激励13-14
• 2.1.2 可重复利用性14
• 2.1.3 接口（interface）14-15
• 2.1.4 特定的内部连接机制15-16
• 2.1.5 测试案例和功能覆盖率16-18
• 2.1.6 与软件语言的接18
• 2.1.7 断言(SVA)18-19
• 2.2 VMM验证方法学19-22
• 2.2.1 VMM验证方法学架构19-21
• 2.2.2 VMM验证方法学的不同阶段21-22
• 2.3 VMM标准库介绍22-23
• 2.4 本章小结23-24
• 第三章 光纤通道点对点的实现及验证环境的整体设计24-43
• 3.1 FC模块点对点整体设计方案24-27
• 3.1.1 FC模块架构设计24-25
• 3.1.2 FC发送端数据流25-26
• 3.1.3 FC接收端数据流26-27
• 3.2 接收通道27-32
• 3.2.1 有序集检测27-29
• 3.2.2 帧接收控制逻辑29-32
• 3.3 发送通道32-36
• 3.3.1 帧发送引擎32-35
• 3.3.2 CRC检验35
• 3.3.3 发送状态机35-36
• 3.4 端口状态机36-40
• 3.5 流量控制40-42
• 3.7 本章小结42-43
• 第四章 光纤通道验证环境总体及模块设计43-61
• 4.1 FC光纤通道验证环境的整体设计43-44
• 4.2 数据类的设计44-46
• 4.3 接口的设计46-48
• 4.4 配置类的设计48-49
• 4.5 发生器的设计49-51
• 4.6 驱动器的设计51-54
• 4.6.1 驱动器的运行51-53
• 4.6.2 发送函数53-54
• 4.7 监视器的设计54-57
• 4.7.1 监视器的运行54-55
• 4.7.2 解析函数55-56
• 4.7.3 接收帧数据函数56-57
• 4.8 回调的设计57-58
• 4.9 记分板的设计58-59
• 4.10 环境类的设计59-60
• 4.11 本章小结60-61
• 第五章 测试案例及结果分析61-73
• 5.1 验证工具介绍61
• 5.2 测试案例程序以及顶层模块61-64
• 5.3 验证的运行64-66
• 5.4 VCS运行结果及分析66-72
• 5.4.1 配置66
• 5.4.2 帧信息的生成66-67
• 5.4.3 发生器的建立及帧数据的生成67-68
• 5.4.4 驱动器的运行状态68-70
• 5.4.5 监视器的接收70-71
• 5.4.6 记分板的对比71
• 5.4.7 wrap_up及总结71-72
• 5.4.8 代码覆盖率72
• 5.5 本章小结72-73
• 第六章 总结与展望73-75
• 6.1 论文总结73
• 6.2 不足与改进73-75
• 致谢75-76
• 参考文献76-78
• 攻硕期间研究成果78-79

【相似文献】

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

1 ;理解光纤通道域[J];每周电脑报;2007年41期

2 罗昕;张延园;;高性能光纤通道上实现1553B协议的研究[J];计算机测量与控制;2008年08期

3 李兰兰;;浅谈光纤通道技术[J];福建电脑;2012年02期

4 唐勇,潘龙法,徐端颐;光纤通道──连接未来网络和通道的桥梁[J];电子计算机与外部设备;1998年05期

5 ;光纤通道技术一瞥[J];中国计算机用户;1998年50期

6 ;建立光纤通道标准[J];每周电脑报;1998年27期

7 鲁尔;;第5代光纤通道——新名称意义何在[J];计算机与网络;2013年24期

8 ;第六代光纤通道协议[J];办公自动化;2014年05期

9 何宁,熊剑平,蒋昌龙;高速数据传输接口—光纤通道[J];电讯技术;2001年01期

10 高昆,凡叔军,徐海铮,潘龙法;光纤通道应用系统的设计方法[J];光电工程;2004年11期

中国重要会议论文全文数据库 前10条

1 徐振;;高频保护更换为光纤通道的若干问题[A];第十五届华东六省一市电机工程（电力）学会输配电技术研讨会论文集[C];2007年

2 张科;涂晓东;;光纤通道协议中运行差距计算[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集（上）[C];2008年

3 周游;郗红梅;;基于光纤通道技术的航空测试数据整合系统研究[A];2012航空试验测试技术学术交流会论文集[C];2012年

4 张浩华;;基于光纤通道技术的存储区域网应用研究[A];中国复合材料学会2004年年会论文集[C];2004年

5 熊剑平;马骋;何宁;王玉英;杨进;贾惠波;;基于光纤通道(FC)协议的高速远程通讯测控链路设计[A];大珩先生九十华诞文集暨中国光学学会2004年学术大会论文集[C];2004年

6 罗烨;涂晓东;丁林;;基于PCI-Express接口的光纤通道协议处理卡驱动的研究与实现[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年

7 李霖;邱昆;;基于光纤通道协议的LVDS光纤传输系统的接收端设计与实现[A];2008年中国西部青年通信学术会议论文集[C];2008年

8 丁林;涂晓东;;光纤通道HBA卡DMA引擎的设计与实现[A];中国通信学会第六届学术年会论文集（上）[C];2009年

9 闫大振;;继电保护光纤通道的调试及安装工艺[A];华东六省一市电机工程（电力）学会输配电技术研讨会2002年年会山东电机工程学会交流论文集[C];2002年

10 屈俊宏;;利用延时误码仿真仪的继电保护光纤通道仿真测试[A];2010年云南电力技术论坛论文集（文摘部分）[C];2010年

中国重要报纸全文数据库 前10条

1 沈建苗　编译;软件定义世界 光纤通道何去何从[N];计算机世界;2014年

2 任金江 博士;光纤通道高速存储[N];中国计算机报;2001年

3 谢刚;光纤通道标准[N];中国计算机报;2001年

4 国雁萌;光纤通道重新崛起[N];中国计算机报;2002年

5 清水编译;光纤通道仍是“重量级冠军”[N];计算机世界;2006年

6 LSI逻辑公司 Steve Looby;光纤通道渐变中[N];网络世界;2005年

7 米笑;试制4G光纤通道产品[N];中国计算机报;2003年

8 沈建苗 编译;光纤通道 风光不再[N];计算机世界;2012年

9 本报记者 郭平;光纤通道：一切由需求决定[N];计算机世界;2014年

10 ;Brocade迎接整合之年[N];中国计算机报;2004年

中国博士学位论文全文数据库 前1条

1 童薇;高效光纤存储通道技术研究[D];华中科技大学;2011年

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

1 余辉;FC-AE-1553节点卡软件设计与实现[D];电子科技大学;2015年

2 周兴润;基于VMM的光纤通道验证平台研究[D];电子科技大学;2015年

3 邹少义;在以太网上运行光纤通道的研究与设计实现[D];电子科技大学;2009年

4 任星伟;光纤通道仲裁环的优化与仿真[D];电子科技大学;2009年

5 刘娟;光纤通道的核心技术研究与实现[D];西安石油大学;2010年

6 周建涛;基于光纤通道的通信系统的研究与实现[D];西北工业大学;2007年

7 陈伟娜;基于光纤通道技术的易迅空间系统[D];暨南大学;2007年

8 宋少峰;光纤通道在航空计算领域的研究和应用[D];西北工业大学;2007年

9 高金鹏;以太网光纤通道协议通用服务的设计与实现[D];北京邮电大学;2013年

10 王伟;基于光纤通道的多总线融合技术研究[D];西安电子科技大学;2014年

  本文关键词：基于VMM的光纤通道验证平台研究，由笔耕文化传播整理发布。

本文编号：404444