本文研究基于SPECMAN的自动化验证平台的搭建和设计方法,用来验证USIM IP核的功能,自动检测仿真结果,以及收集覆盖率。在搭建测试平台的具体过程中,遵循SPECMAN验证方法的主体思想,完成了基于SPECMAN测试平台的设计,实现了对USIM IP核的功能验证,并且施加大量的随机激励来完成回归性测试,最终达到近100%的功能覆盖率和代码覆盖率,保证了验证的完备性。在具体设计USIM测试平台的实践中,应用通过认证的第三方验证环境(Verisity Design公司的AHB eVC)来模拟AHB总线行为,对于UART数据传输的检测我们引入基于参考模型的数据检查机制,在对USIM的寄存器验证中,我们引入Verisity公司的The Register and Memory Package,它提供了一套对寄存器组和存储器单元自动化的验证解决方案,能够有效模拟寄存器与存储单元行为,采用断言(Assertion)来实现对USIM信号时序部分的验证,验证的复杂度与工作量得到了有效地简化和减少,并达到工业级品质的验证效果,从进一步提高了验证质量。同时着手于外部UICC eVC的开发,最终,在我们搭建的基于SPECMAN的验证平台上,USIM的功能验证、仿真结果的自动检测以及覆盖率的收集等工作得以完美实现。