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