在深亚微米级的工艺中,人们可以非常灵活的在单个集成电路中实现将最终产品的的主要功能集成到单块系统芯片(SoC,system-on-a-chip)中。系统芯片跟专用芯片(ASIC)相比,不再是单一功能的单元电路逻辑,而是将信号采集、处理和输出等完整地集成在一起,成为一个具有某种应用需求的系统芯片。　　SoC芯片的验证是一项系统工程,不但要对单个IP有个清楚的认识,还要对系统的功能需求更要清楚。本文以中科院计算所的移动通信系统技术的长期演进(LTE)项目为背景展开相应的工作的,该所设计的LTE基带芯片是一个多核SoC系统,主要实现了3GPP协议中数字基带部分的功能。　　本文首先阐述了SoC的一些验证的技术。从理论的角度出发,怎么对SoC芯片进行验证。其中包括了从模块级的到系统的功能验证过程,同时讲解了在验证过程中常用的一些验证方法。其次,在介绍完相关的验证技术后,本文给出了LTE基带芯片中一个简单接口模块的设计,即:SPI控制器。SPI接口是常见传输速度较快的串行传输接口,可以用于接WIFI、A/D、Flash等。　　最后,重点介绍 SoC的验证的过程。首先是模块级别的验证,如:SPI控制器、PTI模块等。SPI控制器的验证是基于覆盖率的验证方法;PTI模块的验证是基于 VMT的验证方法。模块验证结束后开始进行系统集成,然后进行全芯片级的验证。全芯片的验证主要做的工作是联合验证。CPU指挥相互联系的几个模块按照设想的方式进行相互的数据传输。其中外接收机是采用算法模型跟RTL协同验证的方法。通过上述的功能仿真为将来的FPGA验证提供了良好的条件。