学位论文 > 优秀研究生学位论文题录展示

基于Vera语言的GPS/北斗Ⅱ双模基带芯片的验证方法及实现

作　者: 李帅
导　师: 易清明
学　校: 暨南大学
专　业: 信号与信息处理
关键词: Vera 验证方法学 GPS 北斗Ⅱ 基带芯片功能验证
分类号: TN967.1
类　型: 硕士论文
年　份: 2011年
下　载: 174次
引　用: 0次
阅　读: 论文下载

内容摘要

随着各国竞相发展卫星导航事业,目前卫星导航定位系统正在从单一的GPS时代向多星座并存的全球导航卫星系统(GNSS)时代转移,我国的“北斗”系统也适时的加入其中,并随着北斗Ⅰ代的应用及北斗Ⅱ代的建设,占据着越来越重要的地位。由此,多星座兼容的卫星导航技术开始日益成长为一门新兴的热门课题,可支持多导航系统的卫星导航终端也将成为未来导航产品的主流。作为导航终端的核心部件,多星座兼容的基带芯片更是成为各导航厂家竞逐的对象。另一方面,随着工艺水平的不断增高、集成度的不断增大以及速度的不断增加,SoC芯片的设计变得越来越复杂,使得芯片验证工作日益重要和困难。本课题研究的正是对GPS/北斗Ⅱ双模基带芯片的功能验证。本文的内容是在研究目前SoC验证技术的基础上,针对GPS/北斗Ⅱ双模基带芯片的功能验证,制定出完整可行的验证方案；在验证方案的指示下,利用Vera验证语言和RVM高级验证方法学的思想,搭建了一个模块化,层次化,高效的验证平台,编写自动化脚本,通过适当的测试案例分模块级与系统级对该基带芯片做功能验证；并结合覆盖率驱动技术,提高验证的覆盖率,使验证工作更加充分完备。验证结果表明,搭建的验证平台可以灵活高效地实现各种测试案例的实施,出色地完成了对GPS/北斗Ⅱ双模基带芯片的功能验证工作,覆盖率的统计也达到了预期的目标。此外,本课题搭建的验证平台信号层、指令层、功能层、场景层及测试层的层次化结构中,每一层都设计有自己的验证模块,分别负责不同的功能。其中,一些层次及模块可以在相关验证工作中复用。基于此,本文在最后提出了可以作为基带验证开发环境的IP核设计,即VIP (Verification IP),以提高相关验证的效率,缩短SoC芯片开发周期。

全文目录

摘要  4-5
Abstract  5-6
目录  6-7
第一章绪论  7-11
  1.1 研究背景  7-8
  1.2 SoC验证的重要性及迫切性  8-9
  1.3 选题来源  9-10
  1.4 主要工作与论文结构  10-11
第二章 SoC验证技术  11-29
  2.1 验证的概念  11-13
  2.2 SoC验证流程  13-17
  2.3 SoC验证系统  17-21
  2.4 高级验证方法学  21-27
  2.5 本章小结  27-29
第三章 GPS/北斗Ⅱ双模基带芯片的Vera验证方案设计  29-45
  3.1 GPS/北斗Ⅱ双模基带芯片的设计介绍  29-38
  3.2 GPS/北斗Ⅱ模基带芯片的验证方案设定  38-43
  3.3 本章小结  43-45
第四章 GPS/北斗Ⅱ双模基带芯片验证工作的具体实现  45-69
  4.1 Vera语言的具体操作方法  45-48
  4.2 验证平台各层次的设计  48-53
  4.3 验证平台的自动化运行  53-55
  4.4 捕获模块级的功能验证  55-60
  4.5 跟踪模块级的功能验证  60-64
  4.6 芯片系统级的功能验证  64-68
  4.7 本章小结  68-69
第五章覆盖率及验证平台重用性分析  69-75
  5.1 覆盖率分析  69-71
  5.2 验证平台重用性分析  71-73
  5.3 本章小结  73-75
第六章结束语  75-77
  6.1 总结  75
  6.2 展望  75-77
参考文献  77-79
硕士期间发表论文  79-81
致谢  81

相似论文

高灵敏度GNSS软件接收机的同步技术研究与实现,P228.4
基于微型无人平台导航多传感器信息融合算法研究,V249.32
SINS/GPS组合导航系统算法研究,V249.328
列车动态监控系统的研究,U284.48
路面平整度检测系统中的数据采集和定位技术研究,U416.2
GPS抗干扰技术研究,P228.4
多功能车辆总线控制器MVBC综合验证研究,TP273
蛋内注射leptin对肉鸡肝脏胆固醇代谢相关基因及microRNA表达的影响,S831
定位辅助搜寻Wi-Fi的移动设备节能策略,TN929.53
基于Nios Ⅱ的GPS信息接收系统设计,TN967.1
面向智能手机的节能定位策略,TN929.53
基于GIS和GPS的国土资源动态巡查系统的设计与实现,P208;P228.4
水情自动监测系统的设计与实现,P335
信息融合技术在嵌入式驾驶疲劳检测中的应用研究,TP368.12
面向GPS导航拖拉机的最优全局覆盖路径规划研究,TN967.1
脉搏信号自动监测系统的定位及算法研究,TN911.7
GPS宽波束圆极化微带天线单元及阵列天线研究,TN822
基于ARM的车载跟踪定位系统的设计与实现,TP368.12
嵌入式手持移动设备上地理信息展示的低功耗实现,TP311.52
基于BP神经网络的GPS高程拟合模型及其应用研究,P228.4
基于小波和Kalman滤波的GPS数据去噪方法研究,P228.4