[發明專利]記分板和斷言檢查相結合的驗證方法

在審

• 申請號: 202210418194.1
• 申請日: 2022-04-21
• 公開（公告）號: CN114707448A
• 公開（公告）日: 2022-07-05
• 發明（設計）人: 馬驍
• 申請（專利權）人: 杭州云合智網技術有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33;G06F30/3323;G06F30/3312;G06F11/36;G06F9/445
• 代理公司: 上海洞見未來專利代理有限公司 31467
• 代理人: 苗繪

1.一種記分板和斷言檢查相結合的驗證方法，其特征在于，包含如下步驟：

在記分板里聲明uvm_event事件，用于控制斷言的使能開關變量；

在UVM的phase機制中的build_phase里對所述uvm_event事件進行實例化，并傳入到UVM的配置數據庫里；

將所有用于檢查的所述斷言封裝到一個package包文件中，并可通過disable iff()關鍵字來控制所述斷言的開關狀態；

在所述package包文件中創建派生于uvm_object的斷言配置對象；

創建驗證平臺，在所述驗證平臺的頂層模塊里導入所述package包文件，用于讓所述驗證平臺的驗證環境可以使用封裝好的斷言檢查和斷言配置對象；

在所述驗證平臺的頂層模塊的程序控制塊里按照執行順序依次執行檢查命令，獲取所述斷言檢查的結果，從而實現對所述記分板中追蹤到的問題的進一步的時序及協議的信號級檢查。

2.如權利要求1所述記分板和斷言檢查相結合的驗證方法，其特征在于，所述斷言配置對象中包括：控制斷言的使能開關變量、仿真時間變量以及其他并發斷言中需要使用到的仿真過程變量。

3.如權利要求2所述記分板和斷言檢查相結合的驗證方法，其特征在于，所述使能開關變量、所述仿真時間變量以及所述仿真過程變量需使用static關鍵字設置成全局靜態變量。

4.如權利要求3所述記分板和斷言檢查相結合的驗證方法，其特征在于，在所述驗證平臺的頂層模塊的程序控制塊里按照執行順序依次執行檢查命令，獲取所述斷言檢查的結果包含如下子步驟：

聲明并實例化所述斷言配置對象；

阻塞等待所述驗證平臺執行到剛好要進入消耗仿真時間的運行階段，通過end_of_elaboration_phase句柄調用wait_for_state方法，把參數UVM_PHASE_DONE和UVM_EQ傳遞進所述驗證平臺來等待所述end_of_elaboration_phase階段的運行結束；

從所述UVM的配置數據庫中獲取在所述記分板里的所述uvm_event事件，調用獲取的所述uvm_event事件的wait_trigger方法來等待所述uvm_event事件被觸發；

當所述uvm_event事件被觸發后，獲取在所述記分板中uvm_event事件觸發時的數據變量；

將所述數據變量賦值給所述package包文件中的所述斷言配置對象的全局靜態變量；

調用所述package包文件中相應的并發斷言進行檢查，將所述斷言配置對象的全局靜態變量作為所述并發斷言檢查的輸入參數進行傳入，獲取斷言檢查的結果。

5.如權利要求4所述記分板和斷言檢查相結合的驗證方法，其特征在于，所述數據變量包含：打開的斷言控制開關、仿真時間以及其他仿真過程參數變量。

6.如權利要求5所述記分板和斷言檢查相結合的驗證方法，其特征在于，將所述數據變量賦值給所述package包文件中的所述斷言配置對象的全局靜態變量包含如下子步驟：

將獲取的所述打開的斷言控制開關賦值給所述package包文件中的所述使能開關變量，使所述使能開關變量為使能打開狀態；

將獲取的所述仿真時間賦值給所述package包文件中的所述仿真時間變量，使所述仿真時間變量為所述記分板出現比較問題時的仿真運行時間。

7.如權利要求6所述記分板和斷言檢查相結合的驗證方法，其特征在于，將所述數據變量賦值給所述package包文件中的所述斷言配置對象的全局靜態變量還包含如下子步驟：

根據項目需要，將所述其他仿真過程參數變量傳遞給所述其他并發斷言中需要使用到的仿真過程變量。