在数字芯片设计中,规模越来越大,功能验证已经成为芯片设计的一个瓶颈,设计团队得花50%～70%的时间进行功能验证。传统的验证方法难以构建复杂的验证场景,并且边缘场景难以覆盖。随着业界提出受限随机矢量生成验证方法,验证的效率和质量得到大大提高。Specman Elite验证平台基于该验证方法,其支撑语言为E语言。E语言做为一种高级验证语言具有很大的灵活性,提供基于约束驱动的随机向量产生,自动的数据及协议检查和自动的功能覆盖的解决方案。本文基于Specman Elite验证平台对WCDMA系统的无线基带芯片中的消息解调协处理器进行功能验证。首先,阐述了消息解调协处理器的实现方案。消息解调协处理器采用ARM与ASIC的软硬件协作方式实现,在满足性能的基础上大大节省了资源并且提供了良好的灵活性和可升级性。然后,详细说明了消息解调协处理器功能验证环境的搭建过程,验证环境中各个模块的设计实现。利用Specman Elite平台提供的eRM结构搭建验证平台,大大提高了验证平台的重复利用度。消息解调协处理器验证平台应用受限随机矢量生成的验证方法和覆盖率驱动验证方法自动随机生成输入激励对复杂系统进行功能验证。相比传统验证方法,避免了单调繁琐的手工编写测试向量,更容易覆盖到逻辑功能的临界情况,有效地发现了大量设计错误,提高了验证工作的效率和质量。最后,分别对功能覆盖率和代码覆盖率统计进行分析,均达到100%,说明验证过程非常充分。