收藏本站
收藏 | 论文排版

卫星导航SoC设计验证平台的研究与实现

廖梦新  
【摘要】:随着全球导航卫星系统(Global Navigation Satellite System,GNSS)的蓬勃发展,卫星定位、导航、授时等服务的需求日趋强烈、相关应用日趋广泛,因此导航接收机的软硬件算法与系统架构复杂度不断提升,相关的设计验证工作流程也日趋繁杂。另一方面,随着集成电路技术的发展,功能高度集成的片上系统(System-on-Chip,SoC)芯片成为电子产品市场的主流产品方案。因此,研发面向卫星导航系统级芯片的自动化设计验证工具具有重要的意义。本文面向导航应用需求、以GPS导航系统与GPS接收机为研究对象、针对导航接收机算法级设计和板级验证工作,提出了导航SoC设计与验证平台的概念,并在平台基本框架的设计实现上做出探索。 本文从该平台的两个功能方面介绍了设计思路与实现方法,具有以下3点设计成果: ●在导航接收机算法级设计功能方面,本文在总结GPS导航接收机的算法特点、典型模块划分和系统结构的基础上,基于面向对象的分析与设计(OOAOOD)思想,设计与实现了一套用于建立GPS导航接收机仿真模型的编程框架和算法库。该编程框架与算法库能够辅助算法设计人员快速开发具备易扩展性、可重用性、可移植性和可维护性的接收机软件代码,同时兼容使用SystemC设计的硬件行为级建模。 ●在导航接收机板级验证方面,本文设计实现了一套导航接收机测试分析软件。该软件使用卫星信号模拟技术生成丰富的测试激励,针对导航接收机工作流程和数据特点提供规范的主机测试过程控制、与开发板测试结果反馈功能。 ●本文使用UML建模语言保证了以上设计工作的规范性,使用软件设计模式加强了平台的结构性和可扩展性。经过试验证明,使用本文实现的导航算法开发框架能够设计实现功能完善的接收机原型,并能够在本文实现的板级验证平台上完成基本的验证工作。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 杨润星;郑学仁;刘林;;基于PCI的IP仿真验证平台[J];中国集成电路;2003年01期
2 陈莹;樊晓桠;;一种基于Open Vera实现的L2 cache验证平台[J];微电子学与计算机;2008年11期
3 虞致国;魏敬和;;一种数模混合32 bit SoC功能验证平台的设计(英文)[J];电子器件;2009年04期
4 林健;杨志家;;利用VMM建立基于事务的层次化验证平台[J];微计算机信息;2010年11期
5 王玉欢;田泽;蔡叶芳;;RapidIO IP核的验证方法研究[J];计算机技术与发展;2011年07期
6 詹文法,陶芳泽,张溯,程作仁;系统芯片验证平台设计[J];微机发展;2005年11期
7 董玲;张松;于宗光;陶建中;;基于VERILOG的一种高效验证平台的研究及应用[J];微电子学与计算机;2006年01期
8 张开明;王新安;张国新;苟卫忠;;WLAN SOC芯片BX501的FPGA验证平台设计与实现[J];微电子学与计算机;2006年01期
9 胥林;丁婷婷;;应用SystemVerilog搭建USB验证平台[J];黑龙江科技信息;2008年17期
10 赵景琰;苟鹏飞;王进祥;;支持多抽象层次设计的验证平台[J];微处理机;2011年02期
11 胡建国;曾献君;陈亮;邢座程;;CPU验证平台的研究与实现[J];微电子学;2006年01期
12 叶磊;樊晓桠;安建峰;张山刚;;一种基于Simics的兼容微处理器系统级验证平台[J];计算机工程与应用;2006年15期
13 詹文法;李丽;程作仁;张溯;;一种基于总线的可重用验证平台研究[J];电子技术应用;2006年05期
14 于海;樊晓桠;张盛兵;;32位RISC微处理器FPGA验证平台设计与实现[J];计算机工程与应用;2007年05期
15 ;IXIA推出针对三重播放业务的端到端远程质量体验和服务验证平台[J];电信网技术;2008年04期
16 胡建国;姚丽娜;夏笠芹;刘娟;;IA-64微处理器系统级验证平台的设计与实现[J];微电子学;2008年03期
17 周吉吉;何书专;李伟;娄孝祥;张仲金;李丽;;八通道多协议串行通信控制器的功能验证[J];半导体技术;2008年11期
18 侯海军;郭斌林;;基于VMM的芯片验证平台设计[J];中国水运(下半月);2008年12期
19 麻晓博;王建生;李成文;;PowerPC桥/存储器控制器FPGA验证平台的设计[J];航空计算技术;2008年06期
20 冯博凌;李平;王忆文;;基于混合建模的SoC软硬件协同验证平台研究[J];单片机与嵌入式系统应用;2009年05期
中国重要会议论文全文数据库 前10条
1 尹勇生;胡永华;周干民;;PCI总线接口的验证平台及测试图形生成[A];2004全国测控、计量与仪器仪表学术年会论文集(上册)[C];2004年
2 陈小龙;荆涛;;如何在FPGA或ASIC设计中用TCL为HDL模型搭建自动验证平台[A];全国第一届嵌入式技术联合学术会议论文集[C];2006年
3 栗芬环;;Matlab和Modelsim数字前端设计、仿真验证平台[A];2009通信理论与技术新发展——第十四届全国青年通信学术会议论文集[C];2009年
4 淮治华;田泽;赵强;韩炜;;基于DSP的SoC FPGA原型验证平台的构建与应用[A];第十五届计算机工程与工艺年会暨第一届微处理器技术论坛论文集(A辑)[C];2011年
5 程飞;熊华钢;;便携式总线信息监视分析器设计[A];中国航空学会信号与信息处理专业全国第八届学术会议论文集[C];2004年
6 翟智博;刘鹏;张炜;郑德春;;基于DSP验证平台的MP3解码算法研究与实现[A];第十二届全国信号处理学术年会(CCSP-2005)论文集[C];2005年
7 夏莲;李广军;;一种基于Synopsys VIP的PCI-AHB桥的验证方法[A];中国通信集成电路技术与应用研讨会文集[C];2006年
8 张林华;张荣;王磊;;基于LabVIEW和PXI的人体通信基带处理器的设计[A];2010中国仪器仪表与测控技术大会论文集[C];2010年
9 郑继荣;彭虹;;基于COMIP系统平台的SoC验证方法[A];中国通信集成电路技术与应用研讨会论文集[C];2004年
10 刘晓飞;杨杰;徐瑞霞;;航迹起始仿真系统[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
中国博士学位论文全文数据库 前5条
1 栾静;模型驱动的系统级软硬件协同设计若干关键技术研究[D];华东师范大学;2006年
2 周航军;分布式大规模虚拟环境消息序一致性时间管理技术研究[D];国防科学技术大学;2011年
3 刘扬帆;硬件事务存储微体系结构及其验证研究[D];浙江大学;2012年
4 张溯;集成电路工程学及IP评测技术的研究[D];合肥工业大学;2004年
5 殷燎;面向SoC的IP核及嵌入式处理器功能验证方法研究[D];浙江大学;2010年
中国硕士学位论文全文数据库 前10条
1 梁琛;SDH芯片验证平台的设计[D];西安电子科技大学;2007年
2 乔丽萍;基于IP的USB Audio的设计与验证[D];西安电子科技大学;2008年
3 王旭;图形处理器的仿真验证[D];哈尔滨工业大学;2007年
4 范瑞玉;基于FPGA的SoC芯片验证平台设计[D];复旦大学;2008年
5 王嘉良;SoC可重用验证平台研究与开发[D];东华大学;2011年
6 谭安菊;数字系统实时验证技术研究[D];中国工程物理研究院;2005年
7 王立华;基于FPGA的系统芯片(SoC)原型验证研究与实现[D];山东大学;2006年
8 何叶东;IP芯核设计和验证技术的研究[D];合肥工业大学;2005年
9 李树杰;中科SoC通用验证平台及验证方法学研究[D];山东科技大学;2005年
10 胡建国;高性能微处理器的验证技术研究[D];国防科学技术大学;2004年
中国重要报纸全文数据库 前10条
1 记者 陈嘉佳 通讯员 康文;科技要给民航安全发展更多支持和帮助[N];中国民航报;2009年
2 计宣;计算所自主创“芯”成功[N];中国航空报;2010年
3 记者  计育青;CNGI项目优先考虑国产设备[N];中国电子报;2007年
4 冯俊;发展高新技术要靠贵航这样的大企业[N];经济信息时报;2009年
5 上海硅知识产权交易中心总经理 徐步陆;加大高端通用IP核项目投入 完善生态环境建设[N];中国电子报;2009年
6 中科院计算技术研究所 李树杰 傅 亮;SoC需要验证[N];计算机世界;2004年
7 微微;华虹NEC与SSIPEX展开合作[N];中国电子报;2004年
8 宋丁仪 DigiTimes;创意USB 2.0 OTG取得USB-IF认证[N];电子资讯时报;2006年
9 实习生 赵晓辉;短程无线前景无限资金有限发展受限[N];科技日报;2006年
10 ;CADENCE与IC设计基地合作[N];人民邮电;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978