随着集成电路规模以及复杂度的指数级增长,功能缺陷导致的芯片失败或者重新流片的比例逐渐提高。验证越来越成为整个芯片设计过程中的重要环节,已经占到全部工作量的70%左右。本文主要面向双界面卡非接触通信接口RF控制器模块,基于VMM(Verification Methodology Manual)验证方法学的通用平台框架设计了一个受约束产生随机激励、方便复用、分层次结构清晰、断言检测的模块级验证平台,平台中的组件可以直接复用在子系统级中。重点论述了随机激励产生、基于VMM基类扩展出的组件和组件之间的关系,详细说明了每个组件的实现原理和功能,如何在顶层环境中相连和组件的仿真顺序。讲述了如何编写断言对RF模块的信号级发送接收需要遵守的帧格式和时序的要求进行监测。以功能覆盖率和代码覆盖率驱动验证,确保了功能验证的完备性。给出了RF验证的仿真结果,覆盖率结果表明达到出口条件。