[发明专利]一种用于无源标签芯片的VMM验证系统及方法

摘要

一种用于无源标签芯片的VMM验证系统及方法，包括VMM随机种子生成器、VMM直接用例配置约束模块、VMM全随机用例配置约束模块、VMM部分随机用例配置约束模块、VMM储存器配置约束模块、VMM直接用例生成器，VMM全随机用例生成器、VMM部分随机用例生成器、VMM储存器数据生成器、接口1、接口2、n个VMM阅读器激励生成器、n个阅读器SV模型、n个VMM标签激励生成器、n个标签RTL、n个标签SV参考模型、n个VMM对比器、VMM报告生成器1和VMM报告生成器2。本发明相比以往的技术大多数局限于使用阅读器实物进行FPGA对接测试，还有一对一的仿真验证，本方案对协议的一致性验证更加充分完备。

主权项

1.一种用于无源标签芯片的VMM验证系统，其特征在于：包括VMM随机种子生成器、VMM直接用例配置约束模块、VMM全随机用例配置约束模块、VMM部分随机用例配置约束模块、VMM储存器配置约束模块、VMM直接用例生成器，VMM全随机用例生成器、VMM部分随机用例生成器、VMM储存器数据生成器、接口1、接口2、n个VMM阅读器激励生成器、n个阅读器SV模型、n个VMM标签激励生成器、n个标签RTL、n个标签SV模型、n个VMM对比器、n个标签断言器、n个标签监测器、n个阅读器断言器、n个阅读器监测器、VMM报告生成器1和VMM报告生成器2；其中，所述阅读器SV模型采用system verilog编写，根据VMM阅读器激励生成器生成的激励向标签或标签群发出相应的命令或命令集，实现和标签的通信；所述标签SV模型采用system verilog实现，作为标签RTL的参考模型；所述VMM随机种子生成器分别与VMM全随机用例配置约束模块和VMM部分随机用例配置约束模块相通信连接；所述VMM直接用例配置约束模块、VMM全随机用例配置约束模块、VMM部分随机用例配置约束模块和VMM储存器配置约束模块分别通过VMM直接用例生成器，VMM全随机用例生成器、VMM部分随机用例生成器和VMM储存器数据生成器与接口1通信连接；所述n个VMM阅读器激励生成器分别于n个阅读器SV模型一一对应，且VMM阅读器激励生成器的输出端与阅读器SV模型的输入端通信连接；n个阅读器SV模型分别与n个阅读器断言器和n个阅读器监测器一一对应的通信连接，n个阅读器断言器的输出端和n个阅读器监测器的输出端分别与VMM报告生成器1相通信连接；所述n个VMM标签激励生成器分别与n个标签RTL和n个标签SV模型一一对应的通信连接，n个标签RTL的输出端和n个标签SV模型的输出端分别与n个VMM对比器、n个标签断言器和n个标签监测器相通信连接；n个VMM对比器的输出端、n个标签断言器的输出端和n个标签监测器的输出端分别与VMM报告生成器2相通信连接；所述n个阅读器SV模型、n个标签RTL和n个标签SV模型分别与接口2通信连接，接口2与代码覆盖率收集模块、功能覆盖率收集模块相通信；所述n个VMM标签激励生成器和n个VMM阅读器激励生成器分别于接口1相通信连接。