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