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

摘要：

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

关键词：验证、VMM、SystemVerilog、参考模型

所属期刊栏目：32

分类号：TN4(微电子学、集成电路（IC）)

在线出版日期：2013-12-09（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：49-52