[发明专利]基于VMM的IC-USB接口模块验证方法及验证环境平台

权利要求书

1.一种基于验证方法学VMM的智能卡通用串行总线IC-USB接口模块验证方法，其特征在于：采用验证方法学VMM，并利用通用串行总线主机验证模型USB_HOST_VIP构建验证环境平台，对智能卡通用串行总线IC-USB接口模块实施功能验证。

2.根据权利要求1所述的验证方法，其特征在于：利用通用串行总线主机验证模型USB_HOST_VIP作为主机，智能卡通用串行总线IC-USB接口模块作为设备，模拟实际情况收发数据包；IC-USB接口模块一端与主机相连接，另一端通过高速高性能总线AHB来配置相应的寄存器；

当用高速高性能总线AHB配置好相应的寄存器之后，主机完成与智能卡通用串行总线IC-USB接口模块的连接，复位，枚举以及通信；数据结果被采集到记分板进行自动比较；跟物理层相关的信号通过断言模块进行校验。

3.根据权利要求1或2所述的验证方法，其特征在于：所述实施功能验证是指，随机化自动产生对智能卡通用串行总线IC-USB接口模块的随机激励，自动化的判断响应结果，以及自动化的统计功能覆盖率。

4.根据权利要求3所述的验证环境平台，其特征在于：所述自动化的统计功能覆盖率，由通用串行总线管理器通过功能覆盖组函数定义功能覆盖点，并通过采样功能覆盖点来实现。

5.根据权利要求1或2所述的验证方法，其特征在于：所述实施功能验证是指，可约束的通用串行总线USB数据包的产生，分类发送通用串行总线USB数据包，自动完成数据响应。

6.一种用于权利要求1-5中任一所述验证方法的验证环境平台，其特征在于：智能卡通用串行总线IC-USB接口模块验证环境平台采用系统级硬件描述语言System verilog完成；包括，

数据生成器，完成随机化数据包的定义，包括设备地址，端点号，传输方式，传输速度，传输数据包及其长度，错误包类型；在约束完数据的具体特征之后，由自动生成数据包函数自动生成数据包；

通用串行总线管理器和高速高性能总线管理器，分别通过通道与数据生成器相连接，用于同时解析数据生成器生成的数据包，判断本次通信的设备地址，端点，传输方式以及传输的数据及长度信息；

高速高性能总线主设备验证模型AHB_Master_VIP，通过通道与高速高性能总线管理器相连接，将相应的数据包，转换成高速高性能总线AHB接口上实际的信号激励；

通用串行总线主机验证模型USB_HOST_VIP，通过通道与高速高性能总线管理器相连接，将相应的数据包，转换成通用串行总线D+/D-接口上实际的信号激励；

记分板，通过回调函数分别从高速高性能总线管理器和通用串行总线管理器中获取数据，实时比较发送和接受的数据；

智能卡通用串行总线IC-USB接口模块，作为被测设备通过高速高性能总线AHB接口或通用串行总线D+/D-接口，分别与高速高性能总线主设备验证模型AHB_Master_VIP，通用串行总线主机验证模型USB_HOST_VIP相连接；

断言模块，与智能卡通用串行总线IC-USB接口模块相连接，实时监控高速高性能总线AHB和通用串行总线D+/D-出现的超时、包内距和包间距。

7.根据权利要求6所述的验证环境平台，其特征在于：所述高速高性能总线管理器先配置智能卡通用串行总线IC-USB接口模块的初始化寄存器；在测试顶层文件里，根据不同速度，拉高或拉低通用串行总线D+/D-接口中的D+/D-信号；所述高速高性能总线主设备验证模型AHB_Master_VIP在探测到通用串行总线D+/D-接口存在差分信号时，则通过通用串行总线管理器向通用串行总线D+/D-发送10ms的复位信号，完成通用串行总线D+/D-的复位；然后，通用串行总线管理器则可向智能卡通用串行总线IC-USB接口模块发送枚举以及通信数据包。

8.如权利要求6所述的验证环境平台，其特征在于：所述通用串行总线管理器发送数据包通过例化通用串行总线主机验证模型USB_HOST_VIP的通用串行总线事务，然后约束该通用串行总线事务完成。

9.如权利要求6所述的验证环境平台，其特征在于：所述通用串行总线管理器通过功能覆盖组函数定义功能覆盖点，并通过采样功能覆盖点自动统计功能覆盖率。