[发明专利]模块验证方法、UVM验证平台、电子设备及存储介质

权利要求书

1.一种模块验证方法，其特征在于，应用于UVM验证平台，包括：

确定待验模块对应的transaction类，并在所述transaction类的回调函数中实例化第一接口；

通过总线协议向所述待验模块发送输入数据，并按照所述输入数据的地址将所有所述输入数据依次添加至所述第一接口的数组中；

在所述UVM验证平台的monitor模块中实例化第二接口，并按照输出数据的地址将所有输出数据依次添加至所述第二接口的数组中；其中，所述输出数据为所述待验模块对所述输入数据的处理结果；每一所述输入数据都有其唯一对应的地址，所述待验模块对所述输入数据进行处理后得到的结果中所述地址不发生变化；

对所述第一接口的数组和所述第二接口的数组中相同地址的数据进行对比，并根据对比结果输出所述待验模块的验证结果。

2.根据权利要求1所述模块验证方法，其特征在于，在确定待验模块对应的transaction类之前，还包括：

声明预设类型的接口；其中，所述预设类型的接口中包括logic类型的数组；

相应的，所述第一接口和所述第二接口均为所述预设类型的接口。

3.根据权利要求1所述模块验证方法，其特征在于，对所述第一接口的数组和所述第二接口的数组中相同地址的数据进行对比，包括：

将所述第一接口的数组中的输入数据和所述第二接口的数组中的输出数据发送至所述UVM验证平台的计分板；

利用所述计分板对相同地址的输入数据和输出数据进行对比。

4.根据权利要求3所述模块验证方法，其特征在于，按照所述输入数据的地址将所有所述输入数据依次添加至所述第一接口的数组中，包括：

使用寄信的方式按照所述输入数据的地址将所有所述输入数据依次添加至所述第一接口的数组中；

相应的，按照输出数据的地址将所有所述输出数据依次添加至所述第二接口的数组中，包括：

使用寄信的方式按照输出数据的地址将所有所述输出数据依次添加至所述第二接口的数组中。

5.根据权利要求4所述模块验证方法，其特征在于，将所述第一接口的数组中的输入数据和所述第二接口的数组中的输出数据发送至所述UVM验证平台的计分板，包括：

控制所述UVM验证平台的计分板使用收信的方式分别获取所述第一接口的数组中的输入数据和所述第二接口的数组中的输出数据。

6.根据权利要求1所述模块验证方法，其特征在于，在所述transaction类的回调函数中实例化第一接口，包括：

在所述transaction类的回调函数post_randomize中实例化所述第一接口。

7.根据权利要求1至6任一项所述模块验证方法，其特征在于，所述根据对比结果输出所述待验模块的验证结果，包括：

根据所述对比结果判断所述输入数据和所述输出数据是否相同；

若是，则判定所述待验模块通过验证；

若否，则判定所述待验模块未通过验证并报错。

8.一种UVM验证平台，其特征在于，包括：

接口实例化模块，用于确定待验模块对应的transaction类，并在所述transaction类的回调函数中实例化第一接口；

输入数据添加模块，用于通过总线协议向所述待验模块发送输入数据，并按照所述输入数据的地址将所有所述输入数据依次添加至所述第一接口的数组中；

输出数据添加模块，用于在所述UVM验证平台的monitor模块中实例化第二接口，并按照输出数据的地址将所有输出数据依次添加至所述第二接口的数组中；其中，所述输出数据为所述待验模块对所述输入数据的处理结果；每一所述输入数据都有其唯一对应的地址，所述待验模块对所述输入数据进行处理后得到的结果中所述地址不发生变化；

数据对比模块，用于对所述第一接口的数组和所述第二接口的数组中相同地址的数据进行对比，并根据对比结果输出所述待验模块的验证结果。