CN104462626A - 基于vmm验证方法学的rfif验证平台及实现方法 - Google Patents

基于vmm验证方法学的rfif验证平台及实现方法 Download PDF

Info

Publication number
CN104462626A
CN104462626A CN201310437152.3A CN201310437152A CN104462626A CN 104462626 A CN104462626 A CN 104462626A CN 201310437152 A CN201310437152 A CN 201310437152A CN 104462626 A CN104462626 A CN 104462626A
Authority
CN
China
Prior art keywords
radio frequency
rfif
digital interface
frequency digital
control module
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
CN201310437152.3A
Other languages
English (en)
Inventor
茅乾博
倪怡芳
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Shanghai Huahong Integrated Circuit Co Ltd
Original Assignee
Shanghai Huahong Integrated Circuit Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Shanghai Huahong Integrated Circuit Co Ltd filed Critical Shanghai Huahong Integrated Circuit Co Ltd
Priority to CN201310437152.3A priority Critical patent/CN104462626A/zh
Publication of CN104462626A publication Critical patent/CN104462626A/zh
Pending legal-status Critical Current

Links

Landscapes

  • Monitoring And Testing Of Transmission In General (AREA)

Abstract

本发明公开了一种基于VMM验证方法学的RFIF验证平台,包括:一射频数据发生器,一RFIF上层控制模块,一AHB读写事务处理器,一总线监视器,一AHB主设备参考验证模型,一记分板,一PCD上层控制模块,一射频数据编解码模块。本发明还公开了一种所述RFIF验证平台的实现方法,构造两个行为级仿真模型,即RFIF上层控制模块和PCD上层控制模块分别用于管理RFIF和模拟RF读卡器行为,采用AHB VIP作为RFIF上层控制模块与RFIF之间的控制总线;采用VMM验证框架的事务驱动机制使整个RFIF验证平台实现随机激励、自动数据比对、自动收集功能覆盖率。本发明能有效提高验证效率,节约验证时间,减少人为错误的引入。

Description

基于VMM验证方法学的RFIF验证平台及实现方法
技术领域
本发明涉及一种RFIF(射频数字接口)的验证平台,特别是涉及一种可以自动验证RFIF的基于VMM(Verification Methodology Manual验证方法学)的RFIF验证平台。本发明还涉及一种所述验证平台的实现方法。
背景技术
以RFIF作为非接触芯片核心,RFIF模块的功能正确性和性能强弱是最需要去验证的。由于RF(射频)通信数据波形的多变性,以及RFIF配置的多样性和通信协议的复杂性,如果通过人工比对结果将花费大量时间和人力投入,并随着测试例的增加变得越来越困难。
通常一个项目会经历多次流片,如果对于每次设计的小改动,都需要重新对回归测试结果进行人工比对,将严重影响项目周期,并无法用量化的指标保证结果的正确性。
发明内容
本发明要解决的技术问题是提供一种基于VMM验证方法学的RFIF验证平台,能有效提高验证效率,节约验证时间,减少人为错误的引入;为此,本发明还要提供一种所述RFIF验证平台的实现方法。
为解决上述技术问题,本发明的基于VMM验证方法学的RFIF验证平台,包括:
一射频数据发生器,将测试例所做的约束作用到一个射频数字接口配置数据类事务上,该射频数字接口配置数据类事务通过第一射频数字接口配置数据类通道将RFIF的配置信息和通信数据传给RFIF上层控制模块;
一RFIF上层控制模块,通过第一射频数字接口配置数据类通道与所述射频数据发生器相连接,用于管理待验证模块即RFIF行为;
一AHB(高级高性能总线)读写事务处理器,通过数据通道与所述RFIF上层控制模块相连接,将该RFIF上层控制模块所处理的事务转换成AHB VIP(高级高性能总线验证知识产权)控制总线可处理的事务格式;
一总线监视器,通过第二射频数字接口配置数据类通道与所述RFIF上层控制模块相连接;通过第二AHB数据通道与所述AHB读写事务处理器相连接;用来监视AHB VIP控制总线上的读写行为,并通知所述RFIF上层控制模块;将所述RFIF上层控制模块发出的事务传递给PCD上层控制模块,并将RFIF上层控制模块的先进先出FIFO寄存器收发的数据送到记分板等待比较;
一AHB主设备参考验证模型,即AHB VIP控制总线,其通过第一AHB数据通道与所述AHB读写事务处理器相连接,通过第二AHB数据通道与所述总线监视器相连接;用于将所述RFIF上层控制模块的操作命令具体转化成AHB VIP控制总线的读写时序;通过AHB主设备接口与所述RFIF的AHB VIP控制总线接口相连,从而对所述RFIF内部各寄存器进行操作;
一射频数据编解码模块,通过第四射频数字接口配置数据类通道与PCD(读卡器)上层控制模块相连接;通过RFIF模块接口与所述RFIF通信;对发送给所述RFIF的数据进行编码,对所述RFIF发出的数据进行解码并传送给PCD上层控制模块;
一PCD上层控制模块,通过第三射频数字接口配置数据类通道与所述总线监视器相连接,用于管理模拟射频RF读卡器行为;;
一记分板,通过第一回调通道与所述总线监视器相连接,通过第二回调通道与所述PCD上层控制模块相连接;用于比较所述RFIF上层控制模块和PCD上层控制模块传送来的数据,并根据比较结果决定所述测试例是否通过。
所述RFIF验证平台的实现方法是采用如下技术方案实现的:
待验证模块RFIF采用Verilog HDL(硬件描述语言)语言编写,所述验证平台的RFIF上层控制模块以及PCD上层控制模块采用System Verilog(硬件验证语言)语言编写;整个验证平台的顶层采用Verilog HDL语言编写;
采用Synopsys(新思科技)公司的AHB VIP作为RFIF上层控制模块与RFIF之间的控制总线;RFIF上层控制模块作为AHB VIP控制总线的主设备,RFIF作为AHB VIP控制总线的从设备;
将RFIF所有的配置参数和收发数据放入VMM_DATA(VMM数据基类)的扩展类RF_DATA(射频数字接口配置数据类)中,实现对这些参数和数据的随机约束;
采用RAL(Register Abstraction Layer寄存器抽象层)将RFIF的配置参数由RFIF上层控制模块通过AHB VIP控制总线写入RFIF,从而对RFIF进行配置;
PCD上层控制模块通过解析RFIF的配置参数与RFIF建立通信,实现ISO/IEC14443-2/3所要求的所有功能;
通过自动比对射频数字接口RFIF上层控制模块和读卡器PCD上层控制模块的收发数据判断测试例是否通过。
本发明能够搭建一个可移植,可重用,可扩展,具有随机激励和自动比对的RFIF验证平台;可方便地将成熟的验证模块和测试例复用到高层次的验证平台以及新项目中,从而有效提高验证效率,节约验证时间,减少人为错误的引入。
附图说明
下面结合附图与具体实施方式对本发明作进一步详细的说明:
图1是现有的VMM基本架构的层次化结构图;
图2是现有的基于VMM基本架构实现的验证平台总体结构图;
图3是所述基于VMM验证方法学的RFIF验证平台结构框图。
具体实施方式
由于芯片规模不断地扩大,功能不断增加,验证工作将变得越来越重要同时也变得越来越复杂。为了更高效地完成验证环境搭建以及芯片验证的工作,Synopsys公司与ARM公司联合推出了VMM验证方法学。该验证方法其实是一种基于System Verilog语言建立的事务级目标模型环境。利用System Verilog语言的面向对象特性,VMM实现了层次化的验证结构,并具有约束随机化的特点,在此基础上通过搭建以功能覆盖率为目标驱动的具有自动比对功能的验证环境(即验证平台),能有效提升验证效率。
VMM是一种基于事务级、具有层次化结构的验证方法学。在图1中,测试层(Test Layer)用于编写测试案例。在测试层可以修改发生器(Generator)的约束,定义多个随机场景(Scenario),同步各事务处理器(Transactor)以及产生定向激励。
场景层(Scenario Layer)提供生成器(Generator),用于产生数据和事务(Transaction)。所谓场景就是指有一定关系的随机事务的序列。
功能层(Functional Layer)具有抽象性,提供了一些面向应用的功能块(如事务处理器、记分板)用来处理应用层事务。
指令层(Instruction Layer)是链接功能层和DUT(待测设计)之间的桥梁,与DUT中的各种接口以及物理层协议密切相关。指令层模块包括总线功能模块,物理层协议驱动器,监视器和检查器。
信号层(Singal Layer)是验证环境(即验证平台)和DUT之间的连接层,直接将DUT的引脚跟验证环境的接口(Interface)连接起来。
图2展示了一个完整的验证平台。整个VMM验证环境在程序(program)中搭建并启动,在验证平台的顶层模块中将程序实例化,并通过信号层跟DUT进行连接,于是整个验证平台搭建完成。
基于VMM构建的RFIF数字IP(知识产权)验证平台(即所述基于VMM验证方法学的RFIF验证平台)具有可移植性和可扩展性,可实现随机激励、自动数据比对、自动收集功能覆盖率等功能,能快捷地移植进项目中进行验证工作。
在所述基于VMM验证方法学的RFIF验证平台中所验证的DUT为一个RFIF的数字IP模块。该数字IP模块主要实现非接触卡片的RF电路的控制功能,负责非接触卡片射频电路和CPU电路之间的通讯协议处理和数据传输。读卡器与非接触卡片之间的数据交互经过天线和模拟模块的调制解调,然后送到RFIF,经RFIF处理后通过AHB(高级高性能总线)总线跟CPU进行数据传输。
RFIF的主要功能:支持ISO/IEC14443-2TypeA/TypeB(类型A/类型B)协议,包括最高847Kbps(比特/秒)的通讯速率;硬件处理ISO/IEC14443-3TypeA抗冲突流程;硬件处理认证和通讯流加密;使用256byte(字节)FIFO(先进先出)寄存器进行数据传输;提供睡眠接收、睡眠发送、自动接收发送、流接收、流发送等多种传输模式。
所述基于VMM验证方法学的RFIF验证平台根据RFIF的主要功能特性具备以下几个功能:
(1)、能模拟PCD产生TypeA/TypeB两种类型的RF(射频)数据完成基本的收发功能。
(2)、能模拟PCD收发各种波特率的RF数据。
(3)、能模拟TypeA的抗冲突流程。
(4)、能模拟PCD配合PICC(接近式卡)进行认证加密流程。
(5)、具备连续产生超过256byte数据的能力。
(6)、支持所有传输模式。
(7)、支持RF数据自动比较。
图3是所述基于VMM验证方法学的RFIF验证平台一实施例结构框图,包括:
一射频数据发生器,一RFIF上层控制模块,所述射频数据发生器通过第一射频数字接口配置数据类通道1与RFIF上层控制模块相连接。
一AHB读写事务处理器,通过数据通道7与所述RFIF上层控制模块相连接。
一总线监视器,通过第二射频数字接口配置数据类通道2与所述RFIF上层控制模块相连接。
一AHB主设备参考验证模型,其通过第一AHB数据通道5与所述AHB读写事务处理器相连接。所述总线监视器通过第二AHB数据通道6分别与AHB读写事务处理器和AHB主设备参考验证模型相连接。
一记分板,通过第一回调通道与所述总线监视器相连接。
一PCD上层控制模块,其通过第三射频数字接口配置数据类通道3与所述总线监视器相连接;通过第二回调通道与所述记分板相连接。
一射频数据编解码模块,通过第四射频数字接口配置数据类通道4与所述PCD上层控制模块相连接。
图3中,测试例针对每个测试(test)的特定测试目的会定制不同的约束,比如规定本次测试是TypeA流模式或TypeB睡眠模式等等,对于其他未做约束的特性则对其随机配置,比如随机待发送RF数据的长度等等。
测试例所做的约束将会通过射频数据发生器作用到一个RF_Data(射频数字接口配置数据类)类事务上。RF_Data是一个扩展类,它从vmm_data(VMM数据基类)基类扩展而来。在扩展类RF_Data中所包含的类成员根据RFIF中寄存器参数定义,用来配置RFIF和RFIF验证平台。射频数据发生器类则根据扩展类RF_Data通过VMM提供的VMM场景发生器类产生,该场景发生器类是VMM事务处理器类的扩展,继承了该VMM事务处理器类所提供的全部公共接口元素。事务必须通过通道在事务处理器之间进行传递。射频数据发生器只有一个输出通道,即第一射频数字接口配置数据类通道1,它是通过VMM通道类生成,RF_Data类事务通过第一射频数字接口配置数据类通道1将RFIF的一些配置信息和通信数据传给RFIF上层控制模块。
RFIF上层控制模块类(RFIF上层控制模块由RFIF上层控制模块类例化而来)扩展自VMM事务处理器类,位于功能层。该RFIF上层控制模块类用于管理待验证模块即RFIF行为,包括:根据射频数据发生器传下来的事务选择测试流程;控制AHB VIP总线读写,通过AHB主设备(指令层)监控RFIF;RFIF发送测试时将通信数据写入RFIF的FIFO寄存器,并传递到总线监视器;RFIF接收数据结束后,读取RFIF的FIFO寄存器中的数据,并传递到总线监视器;将RFIF的配置参数通过AHB VIP控制总线写入RFIF,对RFIF进行配置;实现ISO/IEC14443-2/3协议要求的所有功能。这里的高级高性能总线主设备采用的是Synopsys公司的AHB VIP控制总线,即图3中的AHB主设备参考验证模型,该AHB主设备参考验证模型将RFIF上层控制模块的操作命令具体转化成AHB VIP控制总线的读写时序,通过AHB主设备接口与RFIF的AHB VIP控制总线接口相连,从而对RFIF内部各寄存器进行操作。这一过程中需要一个事务转换机制,可通过AHB读写事务处理器完成,它将RFIF上层控制模块所处理的事务转换成AHB VIP控制总线可处理的事务格式。
总线监视器类(总线监视器是由总线监视器类例化生成)扩展自VMM事务处理器类,用来监视AHB VIP控制总线上的读写行为,并通过VMM通知类通知RFIF上层控制模块。除此之外还负责将RFIF上层控制模块发出的事务传递给PCD上层控制模块,并将RFIF上层控制模块的FIFO收发数据送到记分板等待比较。
PCD上层控制模块和射频数据编解码模块类都扩展自VMM事务处理器类,前者属于功能层,后者则是上面功能的具体实现,属于指令层。
所述射频数据编解码模块,对发送给所述RFIF的数据进行编码,对所述RFIF发出的数据进行解码并传送给读卡器PCD上层控制模块。
所述PCD上层控制模块用于管理模拟射频RF读卡器行为,包括:通过解析所述总线监视器送过来的事务,判断其需要执行的流程,比如此次是TypeA还是TypeB通信,是发送流程还是接收流程,是否加密等等。同时将收发的数据送到记分板,与RFIF上层控制模块侧的数据进行比较。通过解析RFIF的配置参数与RFIF建立通信,实现ISO/IEC14443-2/3协议所要求的所有功能。
记分板完成RFIF上层控制模块和PCD上层控制模块两边的数据比较,分别通过VMM回调将两侧数据回调到记分板。最终测试例是否通过,则根据记分板的比对结果决定。
除图3所标示的构建验证平台必需的组件之外,在本验证环境中还新增了一个收集功能覆盖率的组件,该收集功能覆盖率的组件采用VMM事务处理器回调类扩展实现。该收集功能覆盖率的组件从RFIF上层控制模块获取事务,通过功能定义不同的覆盖率组,每个覆盖率组又根据验证的侧重点创建仓和交叉覆盖率,最后对每个覆盖率组在固定时刻进行采样来收集覆盖率。所有测试例仿真结束后可以用仿真工具产生覆盖率表,其中包含功能覆盖率表,对功能覆盖率表进行分析可以了解哪些功能点没有测试到,对验证的充分性提供了依据。
以上所有组件都被封装到验证环境类里,该类是VMM寄存器抽象层验证环境的扩展类,这样设计实现了验证环境的可重用性。
所述基于VMM验证方法学的RFIF验证平台采用如下方法实现:
待验证模块RFIF采用Verilog HDL语言编写。构造两个行为级仿真模型,即采用System Verilog语言编写能实现ISO/IEC14443-2/3协议要求功能的RFIF上层控制模块和PCD上层控制模块,分别用于管理RFIF和模拟RF读卡器(即PCD)行为。整个验证平台的顶层采用Verilog HDL语言编写。
采用Synopsys公司的AHB VIP控制总线作为RFIF上层控制模块与RFIF之间的控制总线。RFIF上层控制模块作为AHB VIP控制总线的主设备,RFIF作为AHB VIP控制总线的从设备。
将射频数字接口RFIF所有的配置参数和收发数据放入验证方法学VMM数据基类VMM_DATA的扩展类射频数字接口配置数据类RF_DATA中,实现对这些参数和数据的随机约束。
采用寄存器抽象层RAL将射频数字接口RFIF的配置参数由射频数字接口RFIF上层控制模块通过高级高性能总线验证知识产权AHB VIP控制总线写入射频数字接口RFIF,从而对射频数字接口RFIF进行配置。
读卡器PCD上层控制模块通过解析射频数字接口RFIF的配置参数与射频数字接口RFIF建立通信,实现ISO/IEC14443-2/3协议所要求的所有功能。
通过自动比对射频数字接口RFIF上层控制模块和读卡器PCD上层控制模块的收发数据判断测试例是否通过。
所述RFIF验证平台实现对RF通信数据的自动检查,并实现RFIF所有测试特征的功能覆盖率自动收集。即将一些关注的特殊功能寄存器定义为功能覆盖模型,当该特殊功能寄存器在RFIF上层控制模块中被配置时,所述RFIF验证平台将自动收集功能覆盖率。在所有测试例都回归完成后,生成一个最终的功能覆盖率报告。
所述射频数字接口RFIF上层控制模块和读卡器PCD模块能实现ISO/IEC14443-2/3协议要求的功能。
所有测试激励都由射频数字接口配置数据类RF_DATA产生,自动生成符合ISO/IEC14443-2/3协议要求的随机激励。
根据以上描述的过程能够实现一个可以任意配置测试参数,完整检验整个RFIF的工作状态,并有相应的功能覆盖率作为量化结果的RFIF验证环境。
以上通过具体实施方式对本发明进行了详细说明,但这些并非构成对本发明的限制。在不脱离本发明原理的情况下,本领域的技术人员还可做出许多变形和改进,这些也应视为本发明的保护范围。

Claims (14)

1.一种基于验证方法学VMM的射频数字接口RFIF验证平台,其特征在于,包括:
一射频数据发生器,将测试例所做的约束作用到一个射频数字接口配置数据类事务上,该射频数字接口配置数据类事务通过第一射频数字接口配置数据类通道将射频数字接口RFIF的配置信息和通信数据传给射频数字接口RFIF上层控制模块;
一所述射频数字接口RFIF上层控制模块,通过第一射频数字接口配置数据类通道与所述射频数据发生器相连接,用于管理待验证模块即射频数字接口RFIF行为;
一高级高性能总线AHB读写事务处理器,通过数据通道与所述射频数字接口RFIF上层控制模块相连接,将该射频数字接口RFIF上层控制模块所处理的事务转换成高级高性能总线验证知识产权AHB VIP控制总线可处理的事务格式;
一总线监视器,通过第二射频数字接口配置数据类通道与所述射频数字接口RFIF上层控制模块相连接;通过第二高级高性能总线AHB数据通道与所述高级高性能总线AHB读写事务处理器相连接;用来监视高级高性能总线验证知识产权AHB VIP控制总线上的读写行为,并通知所述射频数字接口RFIF上层控制模块;将所述射频数字接口RFIF上层控制模块发出的事务传递给读卡器PCD上层控制模块,并将射频数字接口RFIF上层控制模块的先进先出FIFO寄存器收发的数据送到记分板等待比较;
一高级高性能总线AHB主设备参考验证模型,即高级高性能总线验证知识产权AHB VIP控制总线,其通过第一高级高性能总线AHB数据通道与所述高级高性能总线AHB读写事务处理器相连接,通过第二高级高性能总线AHB数据通道与所述总线监视器相连接;用于将所述射频数字接口RFIF上层控制模块的操作命令具体转化成高级高性能总线验证知识产权AHB VIP控制总线的读写时序;通过高级高性能总线AHB主设备接口与所述射频数字接口RFIF的高级高性能总线验证知识产权AHB VIP控制总线接口相连,从而对所述射频数字接口RFIF内部各寄存器进行操作;
一射频数据编解码模块,通过第四射频数字接口配置数据类通道与读卡器PCD上层控制模块相连接;通过射频数字接口RFIF模块接口与所述射频数字接口RFIF通信;对发送给所述射频数字接口RFIF的数据进行编码,对所述射频数字接口RFIF发出的数据进行解码并传送给读卡器PCD上层控制模块;
一读卡器PCD上层控制模块,通过第三射频数字接口配置数据类通道与所述总线监视器相连接,用于管理模拟射频RF读卡器行为;
一记分板,通过第一回调通道与所述总线监视器相连接,通过第二回调通道与所述读卡器PCD上层控制模块相连接;用于比较所述射频数字接口RFIF上层控制模块和读卡器PCD上层控制模块传送来的数据,并根据比较结果决定所述测试例是否通过。
2.如权利要求1所述的验证平台,其特征在于:所述射频数字接口配置数据类RF_DATA中所包含的类成员根据所述射频数字接口RFIF中寄存器参数定义,用来配置射频数字接口RFIF和射频数字接口RFIF验证平台。
3.如权利要求1所述的验证平台,其特征在于:所述管理射频数字接口RFIF行为,包括:根据射频数据发生器传下来的事务选择测试流程;控制高级高性能总线验证知识产权AHB VIP控制总线读写,通过高级高性能总线AHB主设备参考验证模型监控所述射频数字接口RFIF;当所述射频数字接口RFIF发送测试时将通信数据写入射频数字接口RFIF的先进先出FIFO寄存器,并传递到总线监视器;所述射频数字接口RFIF接收数据结束后,读取射频数字接口RFIF的先进先出FIFO寄存器中的数据,并传递到总线监视器;将射频数字接口RFIF的配置参数通过高级高性能总线验证知识产权AHB VIP控制总线写入射频数字接口RFIF,对射频数字接口RFIF进行配置;实现ISO/IEC14443-2/3协议要求的所有功能。
4.如权利要求1所述的验证平台,其特征在于:所述总线监视器通过验证方法学VMM通知类将其所监视的高级高性能总线验证知识产权AHB VIP控制总线上的读写行为通知所述射频数字接口RFIF上层控制模块。
5.如权利要求1所述的验证平台,其特征在于:所述管理模拟射频RF读卡器行为,包括:通过解析所述总线监视器送过来的事务,判断其需要执行的流程,同时将收发的数据送到记分板;通过解析射频数字接口RFIF的配置参数与射频数字接口RFIF建立通信,实现ISO/IEC14443-2/3协议所要求的所有功能。
6.如权利要求1-5中任一所述的验证平台,其特征在于,还包括:一收集功能覆盖率的组件,从所述射频数字接口RFIF上层控制模块获取事务,通过功能定义不同的覆盖率组,每个覆盖率组又根据验证的侧重点创建仓和交叉覆盖率,最后对每个覆盖率组在固定时刻进行采样来收集覆盖率。
7.如权利要求6所述的验证平台,其特征在于:所有组件都被封装到验证环境类里,该验证环境类是验证方法学VMM寄存器抽象层验证环境的扩展类,实现验证平台的可重用性。
8.如权利要求6所述的验证平台,其特征在于:所有测试例仿真结束后用仿真工具产生覆盖率表,其中包含功能覆盖率表,对功能覆盖率表进行分析了解哪些功能点没有测试到,对验证的充分性提供依据。
9.如权利要求1所述的验证平台,其特征在于:所有测试例仿真结束后用仿真工具产生覆盖率表,其中包含功能覆盖率表,对功能覆盖率表进行分析了解哪些功能点没有测试到,对验证的充分性提供依据。
10.如权利要求1所述的验证平台,其特征在于:所有组件都被封装到验证环境类里,该验证环境类是验证方法学VMM寄存器抽象层验证环境的扩展类,实现验证平台的可重用性。
11.一种基于验证方法学VMM的射频数字接口RFIF验证平台实现方法,其特征在于:
待验证模块射频数字接口RFIF采用硬件描述语言Verilog HDL编写,所述验证平台的射频数字接口RFIF上层控制模块以及读卡器PCD上层控制模块采用硬件验证语言System Verilog编写,所述验证平台的顶层采用硬件描述语言Verilog HDL编写;
采用高级高性能总线验证知识产权AHB VIP作为射频数字接口RFIF上层控制模块与射频数字接口RFIF之间的控制总线;射频数字接口RFIF上层控制模块作为高级高性能总线验证知识产权AHB VIP控制总线的主设备,射频数字接口RFIF作为高级高性能总线验证知识产权AHB VIP控制总线的从设备;
将射频数字接口RFIF所有的配置参数和收发数据放入验证方法学VMM数据基类VMM_DATA的扩展类射频数字接口配置数据类RF_DATA中,实现对这些参数和数据的随机约束;
采用寄存器抽象层RAL将射频数字接口RFIF的配置参数由射频数字接口RFIF上层控制模块通过高级高性能总线验证知识产权AHB VIP控制总线写入射频数字接口RFIF,从而对射频数字接口RFIF进行配置;
读卡器PCD上层控制模块通过解析射频数字接口RFIF的配置参数与射频数字接口RFIF建立通信,实现ISO/IEC14443-2/3协议所要求的所有功能;
通过自动比对射频数字接口RFIF上层控制模块和读卡器PCD上层控制模块的收发数据判断测试例是否通过。
12.如权利要求11所述的方法,其特征在于:将需要关注的特殊功能寄存器定义为功能覆盖模型,当所述特殊功能寄存器在射频数字接口RFIF上层控制模块中被配置时,由所述验证平台自动收集功能覆盖率;在所有测试例都回归完成后,生成一个最终的功能覆盖率报告。
13.如权利要求11所述的方法,其特征在于:所述射频数字接口RFIF上层控制模块和读卡器PCD模块能实现ISO/IEC14443-2/3协议要求的功能。
14.如权利要求11所述的方法,其特征在于:所有测试激励都由射频数字接口配置数据类RF_DATA产生,自动生成符合ISO/IEC14443-2/3协议要求的随机激励。
CN201310437152.3A 2013-09-24 2013-09-24 基于vmm验证方法学的rfif验证平台及实现方法 Pending CN104462626A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201310437152.3A CN104462626A (zh) 2013-09-24 2013-09-24 基于vmm验证方法学的rfif验证平台及实现方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201310437152.3A CN104462626A (zh) 2013-09-24 2013-09-24 基于vmm验证方法学的rfif验证平台及实现方法

Publications (1)

Publication Number Publication Date
CN104462626A true CN104462626A (zh) 2015-03-25

Family

ID=52908661

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201310437152.3A Pending CN104462626A (zh) 2013-09-24 2013-09-24 基于vmm验证方法学的rfif验证平台及实现方法

Country Status (1)

Country Link
CN (1) CN104462626A (zh)

Cited By (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106096123A (zh) * 2016-06-07 2016-11-09 无锡键桥电子科技有限公司 一种用于无源标签芯片的vmm验证***及方法
CN106326046A (zh) * 2015-06-30 2017-01-11 上海华虹集成电路有限责任公司 存储器控制器的验证环境平台
CN108154022A (zh) * 2016-12-02 2018-06-12 龙芯中科技术有限公司 少针脚型接口lpc从设备及lpc主设备验证方法
CN109189565A (zh) * 2018-08-02 2019-01-11 深圳忆联信息***有限公司 一种基于多设备的ahb突发传输打断验证方法及其***
CN112699695A (zh) * 2021-03-23 2021-04-23 广州智慧城市发展研究院 Rfid读写器软件验证装置、方法及电子设备
CN113377587A (zh) * 2021-06-01 2021-09-10 珠海昇生微电子有限责任公司 基于FPGA芯片实现的scan chain电路的测试***及方法

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1609862A (zh) * 2004-11-19 2005-04-27 华南理工大学 基于pci总线的ip核仿真验证平台及其验证方法
US20060005003A1 (en) * 2004-06-30 2006-01-05 Grobman Steven L Method for guest operating system integrity validation
CN102591757A (zh) * 2011-01-05 2012-07-18 上海华虹集成电路有限责任公司 基于vmm的ic-usb接口模块验证方法及验证环境平台

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20060005003A1 (en) * 2004-06-30 2006-01-05 Grobman Steven L Method for guest operating system integrity validation
CN1609862A (zh) * 2004-11-19 2005-04-27 华南理工大学 基于pci总线的ip核仿真验证平台及其验证方法
CN102591757A (zh) * 2011-01-05 2012-07-18 上海华虹集成电路有限责任公司 基于vmm的ic-usb接口模块验证方法及验证环境平台

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
刘兆勇: "基于VMM的外部存储器接口验证", 《微处理机》 *
董亚男: "基于VMM的双界面卡非接触通信接口的验证", 《中国优秀硕士学位论文全文数据库信息科技辑》 *

Cited By (10)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN106326046A (zh) * 2015-06-30 2017-01-11 上海华虹集成电路有限责任公司 存储器控制器的验证环境平台
CN106326046B (zh) * 2015-06-30 2019-10-01 上海华虹集成电路有限责任公司 存储器控制器的验证环境平台
CN106096123A (zh) * 2016-06-07 2016-11-09 无锡键桥电子科技有限公司 一种用于无源标签芯片的vmm验证***及方法
CN106096123B (zh) * 2016-06-07 2019-05-21 无锡键桥电子科技有限公司 一种用于无源标签芯片的vmm验证***及方法
CN108154022A (zh) * 2016-12-02 2018-06-12 龙芯中科技术有限公司 少针脚型接口lpc从设备及lpc主设备验证方法
CN108154022B (zh) * 2016-12-02 2020-11-06 龙芯中科技术有限公司 少针脚型接口lpc从设备及lpc主设备验证方法
CN109189565A (zh) * 2018-08-02 2019-01-11 深圳忆联信息***有限公司 一种基于多设备的ahb突发传输打断验证方法及其***
CN112699695A (zh) * 2021-03-23 2021-04-23 广州智慧城市发展研究院 Rfid读写器软件验证装置、方法及电子设备
CN112699695B (zh) * 2021-03-23 2021-07-20 广州智慧城市发展研究院 Rfid读写器软件验证装置、方法及电子设备
CN113377587A (zh) * 2021-06-01 2021-09-10 珠海昇生微电子有限责任公司 基于FPGA芯片实现的scan chain电路的测试***及方法

Similar Documents

Publication Publication Date Title
CN104462626A (zh) 基于vmm验证方法学的rfif验证平台及实现方法
US20090281782A1 (en) Device, system, and method of storage controller having simulated volumes
CN101499937A (zh) 一种基于fpga的软硬件协同仿真验证***及方法
CN107145137A (zh) 一种车载atp设备功能仿真测试设备
CN102520272B (zh) 智能卡掉电保护功能的测试***及方法
CN102946616A (zh) 一种物联网中间件性能测试***和测试方法
CN104486169B (zh) 可重用自动检测及随机验证***和方法
CN103376340B (zh) 一种转接板、多平台串行测试***及方法
CN102479123A (zh) 卡片操作***的测试***及测试方法
CN205788161U (zh) 通信接口的测试***
CN103530211A (zh) 一种基于uvm平台的pcie回环自检测的方法
CN113407393B (zh) 芯片验证方法、终端设备、验证平台以及存储介质
CN109194491A (zh) 一种密码评测试验***及密码评测试验方法
CN115146568A (zh) 一种基于uvm的芯片验证***及验证方法
CN104468260A (zh) 一种移动终端设备的识别方法、装置及***
CN103530209A (zh) 一种密码键盘自动化测试方法
CN108763981A (zh) 一种基于uvm的rfid阅读器验证平台及验证方法
CN115543797A (zh) 基于uvm的总线转换桥验证方法、装置、设备及存储介质
CN201622349U (zh) 一种用于测试卫星导航接收机的基带芯片的装置
CN201522707U (zh) 基于fpga的软硬件协同仿真验证***
CN109885905A (zh) 一种提高数字电路功能验证效率的验证***
CN108733929B (zh) 一种加密混合模型的信号完整性仿真方法
CN104537766A (zh) 支持射频卡预付费加密功能的费控电能表检定***和方法
CN104636521A (zh) 基于vmm的智能卡芯片安检验证方法及验证环境平台
CN107562628A (zh) 计算机软件测试***

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
WD01 Invention patent application deemed withdrawn after publication

Application publication date: 20150325

WD01 Invention patent application deemed withdrawn after publication