[發明專利]模塊驗證方法、UVM驗證平臺、電子設備及存儲介質

有效

• 申請號: 202110985008.8
• 申請日: 2021-08-26
• 公開（公告）號: CN113434355B
• 公開（公告）日: 2021-12-17
• 發明（設計）人: 王瑩
• 申請（專利權）人: 蘇州浪潮智能科技有限公司
• 主分類號: G06F11/26
• 分類號: G06F11/26
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 楊威

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模塊中實例化第二接口，并按照輸出數據的地址將所有輸出數據依次添加至所述第二接口的數組中；其中，所述輸出數據為所述待驗模塊對所述輸入數據的處理結果；每一所述輸入數據都有其唯一對應的地址，所述待驗模塊對所述輸入數據進行處理后得到的結果中所述地址不發生變化；

數據對比模塊，用于對所述第一接口的數組和所述第二接口的數組中相同地址的數據進行對比，并根據對比結果輸出所述待驗模塊的驗證結果。