[发明专利]验证系统及其验证方法

权利要求书

1.一种验证系统，其特征在于，包括C程序模块、UVM验证平台和被测设备，所述C程序模块与所述UVM验证平台通信连接，所述UVM验证平台与所述被测设备通信连接；

所述UVM验证平台和所述C程序模块中的任意一个作为激励产生单元，所述UVM验证平台产生随机测试激励信息并分别反馈给所述被测设备和所述C程序模块，所述C程序模块产生定向测试激励信息并通过所述UVM验证平台反馈给所述被测设备；

所述C程序模块将所述随机测试激励信息和所述定向测试激励信息中的任意一个处理为目标数据并反馈给所述UVM验证平台；

所述被测设备对所述随机测试激励信息和所述定向测试激励信息中的任意一个进行处理以得到实测数据并反馈给所述UVM验证平台；

所述UVM验证平台判断所述实测数据和所述目标数据是否一致。

2.根据权利要求1所述的验证系统，其特征在于，所述C程序模块包括测试模块和格式转换模块，所述UVM验证平台包括序列模块，所述格式转换模块分别与所述测试模块和所述序列模块通信连接；

所述序列模块包括随机测试激励产生单元，所述随机测试激励产生单元产生所述随机测试激励信息并发送给所述格式转换模块；

所述格式转换模块将所述序列模块的数据类型转换为所述测试模块可接收的数据类型。

3.根据权利要求2所述的验证系统，其特征在于，所述C程序模块还包括参考模型模块，所述参考模型模块与所述测试模块通信连接；

所述测试模块包括随机测试激励中转单元，所述随机测试激励中转单元将所述随机测试激励信息发送给所述参考模型模块；

所述参考模型模块将所述随机测试激励信息处理为目标数据并反馈给所述UVM验证平台。

4.根据权利要求3所述的验证系统，其特征在于，所述测试模块还包括定向测试激励产生单元，所述定向测试激励产生单元分别与所述格式转换模块和所述参考模型模块通信连接；

所述定向测试激励产生单元根据所述被测设备的待测试功能参数产生定向测试激励信息，并分别发送给所述格式转换模块和所述参考模型模块；

所述格式转换模块将所述测试模块的数据类型转换为所述序列模块可接收的数据类型；

所述参考模型模块将所述定向测试激励信息处理为目标数据并反馈给所述UVM验证平台。

5.根据权利要求4所述的验证系统，其特征在于，所述参考模型模块包括模拟所述被测设备的行为模型，并储存有System C模型、C模型和C++模型中的任意一种。

6.根据权利要求4所述的验证系统，其特征在于，所述格式转换模块储存有转换脚本，所述格式转换模块根据格式转换需求调用所述转换脚本以对所述测试模块的数据类型和所述序列模块的数据类型之间进行转换处理。

7.根据权利要求4所述的验证系统，其特征在于，所述测试模块还包括测试激励储存单元，所述测试激励储存单元储存所述随机测试激励信息和所述定向测试激励信息。

8.根据权利要求4所述的验证系统，其特征在于，所述UVM验证平台还包括数据发送模块，所述数据发送模块分别与所述序列模块和所述被测设备通信连接；

所述数据发送模块将所述随机测试激励信息或所述定向测试激励信息发送给所述被测设备。

9.根据权利要求8所述的验证系统，其特征在于，所述序列模块还包括定向测试激励打包单元，所述定向测试激励打包单元将所述定向测试激励信息打包为数据包并通过所述数据发送模块发送给所述被测设备。