基于平台的SoC技术自从出现到现在受到了人们的极大关注。其在保证产品质量、减少技术风险、缩短设计周期、提高产品上市速度等方面是以往技术所无法比拟的,因此备受业内欢迎。也正因为如此,搭建一个自主的基于IP核的SoC平台及其配套的验证环境对项目的开发、产品的升级都具有极大的现实意义。本论文主要面向“GPS/北斗双模导航通信基带芯片”开发,搭建了基于IP核的SoC通用平台,实现了导航芯片中除基带处理模块外的其他功能模块的集成。在SoC平台中,为了提高平台的可重用性及IP核间的互联性,本设计所实现的SoC总线架构基于AMBA 2.0总线规范。在SoC平台设计之后,本设计还搭建了基于SystemVerilog验证语言的VMM验证方法学的仿真测试平台,并深入研究了如何采用VMM方法学的覆盖率采集技术对设计进行全面RTL级功能测试,使验证达到较高的覆盖率。本设计中的SoC平台及其仿真测试平台可方便地扩展到除导航芯片以外的多个领域,具有很强的可重用性和灵活性。而且论文中提出的基于覆盖率收集技术验证方法也大大提高了验证的效率和质量,降低了芯片设计的风险。