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