基于参考模型的ISO14443通信模块验证方法

对符合ISO/IEC14443协议的射频通信接口模块RTL(register transfer level)设计提出一种更高效的验证方法,即在传统的VMM(verification methodology manual for SystemVerilog)验证平台中加入参考模型(reference module,RM)的参考模型验证方法。介绍了参考模型的设计方法并给出了部分伪代码,将设计好的参考模型嵌入到传统验证环境中进行前端RTL仿真,仿真结果表明加入参考模型的验证方法能提高验证的覆盖率。