[發明專利]一種知識產權核驗證方法及系統

在審

• 申請號: 202010691059.5
• 申請日: 2020-07-17
• 公開（公告）號: CN111832237A
• 公開（公告）日: 2020-10-27
• 發明（設計）人: 許海洋;錢永學;胡勇;韓青雙;蔡光杰;孟浩;黃鑫
• 申請（專利權）人: 北京昂瑞微電子技術有限公司
• 主分類號: G06F30/33
• 分類號: G06F30/33;G06Q50/18
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 薛嬌

1.一種知識產權核驗證方法，其特征在于，包括：

基于通用驗證方法學UVM構建的驗證平臺與被測芯片內的知識產權IP核交互，以驗證所述IP核內部的寄存器的正確性和所述IP核的功能的正確性；具體包括：

通過所述驗證平臺對所述IP核內部的寄存器進行操作，以驗證所述寄存器的正確性；

在所述寄存器驗證通過時，通過所述驗證平臺模仿控制設備向所述IP核發起系統總線事務，并收集輸入所述IP核的系統總線上的總線事務，基于所述總線事務模擬所述IP核的行為，得到模擬結果；收集所述IP核響應所述總線事務輸出的響應結果；將所述響應結果與所述模擬結果進行比對，以驗證所述IP核與所述總線事務對應的功能的正確性。

2.根據權利要求1所述的方法，其特征在于，所述驗證所述寄存器的正確性，包括：

驗證所述IP核內部的寄存器的hdl路徑的正確性；

驗證上電復位后所述IP核內部的寄存器的默認值的正確性；

驗證所述IP核內部的寄存器的讀寫功能的正確性，或者，驗證所述IP核內部的寄存器的每一位的讀寫操作的正確性。

3.根據權利要求2所述的方法，其特征在于，所述驗證所述IP核內部的寄存器的hdl路徑的正確性，包括：

通過所述驗證平臺調用所述UVM提供的uvm_reg_mem_hdl_paths_seq函數，以對所述IP核內部的寄存器的hdl路徑進行讀操作，若能夠讀取所述hdl路徑中的數據，確定hdl路徑正確，若無法讀取所述hdl路徑中的數據，確定hdl路徑錯誤。

4.根據權利要求2所述的方法，其特征在于，所述驗證上電復位后所述IP核內部的寄存器的默認值的正確性，包括：

通過所述驗證平臺調用所述UVM提供的uvm_reg_hw_reset_seq函數，以通過前門訪問的方式對所述IP核內部的寄存器的默認值進行讀取，并將讀取的默認值與本地存儲的默認值進行比對，以檢查上電復位后所述IP核內部的寄存器的默認值是否正確。

5.根據權利要求2所述的方法，其特征在于，所述驗證所述IP核內部的寄存器的讀寫功能的正確性，包括：

通過所述驗證平臺調用所述UVM提供的uvm_reg_access_seq函數，以通過前門訪問的方式對所述IP核內部的寄存器寫入數據，通過后門訪問的方式將寫入的數據進行讀取，經過比較寫入數據與讀取數據是否一致來檢查所述寄存器的寫功能是否正確；

通過所述驗證平臺調用所述UVM提供的uvm_reg_access_seq函數，以通過后門訪問的方式對所述IP核內部寄存器寫入數據，通過前門訪問的方式對寫入所述IP核內部的寄存器的數據進行讀取，經過比較寫入數據與讀取數據是否一致來檢查寄存器的讀功能是否正確。

6.根據權利要求2所述的方法，其特征在于，所述驗證所述IP核內部的寄存器的每一位的讀寫操作的正確性，包括：

通過所述驗證平臺調用所述UVM提供的uvm_reg_bit_bash_seq函數，以對于所述IP核內部的寄存器的每一可讀寫位，通過前門訪問的方式對該可讀寫位寫入數據，通過后門訪問的方式對該可讀寫位進行數據讀取，經過比較寫入數據與讀回數據是否一致來檢查該可讀寫位的寫功能是否正確；

通過所述驗證平臺調用所述UVM提供的uvm_reg_bit_bash_seq函數，以對于所述IP核內部的寄存器的每一可讀寫位，通過后門訪問的方式對該可讀寫位寫入一個數據，通過前門訪問的方式對該可讀寫位進行數據讀取，經過比較該可讀寫位的寫入數據與讀取數據是否一致來檢查該可讀寫位的讀功能是否正確。

7.根據權利要求1-6任一項所述的方法，其特征在于，還包括：

通過所述驗證平臺收集所述IP核的系統總線上的數據以進行功能覆蓋率的統計。

8.根據權利要求1-6任意一項所述的方法，其特征在于，所述系統總線為AHB總線。