[發明專利]一種芯片驗證方法、裝置及芯片驗證平臺

在審

• 申請號: 202110960991.8
• 申請日: 2021-08-20
• 公開（公告）號: CN113722163A
• 公開（公告）日: 2021-11-30
• 發明（設計）人: 符云越
• 申請（專利權）人: 浪潮電子信息產業股份有限公司
• 主分類號: G06F11/22
• 分類號: G06F11/22
• 代理公司: 北京集佳知識產權代理有限公司 11227
• 代理人: 孫曉紅

1.一種芯片驗證方法，其特征在于，包括：

對預先編譯且與待驗證芯片對應的RTL文件進行驗證，判斷所述RTL文件是否正確；

若否，則定位所述RTL文件中的錯誤部分，并對所述錯誤部分進行編譯，得到重編譯部分；

利用所述重編譯部分替換所述RTL文件中的所述錯誤部分，得到新的RTL文件，并對所述新的RTL文件進行驗證。

2.根據權利要求1所述的芯片驗證方法，其特征在于，對所述錯誤部分進行編譯，包括：

利用強制生效語句對所述錯誤部分進行編譯。

3.根據權利要求1所述的芯片驗證方法，其特征在于，定位所述RTL文件中的錯誤部分，包括：

根據預先編譯所述RTL文件時生成的日志文件，獲取驗證過程中生成的與所述RTL文件對應的波形圖；

根據所述波形圖確定異常波形，根據所述異常波形定位所述RTL文件中的所述錯誤部分。

4.根據權利要求1所述的芯片驗證方法，其特征在于，判斷所述RTL文件是否正確，包括：

將對所述RTL文件進行驗證時產生的驗證結果和對應的理想驗證結果進行對比；

若確定所述驗證結果與所述理想驗證結果不一致，則確定所述RTL文件不正確。

5.根據權利要求1所述的芯片驗證方法，其特征在于，在定位所述RTL文件中的錯誤部分之后，還包括：

發出所述RTL文件不正確的提示，并對所述RTL文件中的所述錯誤部分進行記錄和顯示。

6.根據權利要求1所述的芯片驗證方法，其特征在于，在對預先編譯且與待驗證芯片對應的RTL文件進行驗證之前，還包括：

對時間進行重置。

7.一種芯片驗證裝置，其特征在于，包括：

第一驗證模塊，用于對預先編譯且與待驗證芯片對應的RTL文件進行驗證，判斷所述RTL文件是否正確；

定位模塊，用于若確定所述RTL文件不正確，則定位所述RTL文件中的錯誤部分，并對所述錯誤部分進行編譯，得到重編譯部分；

第二驗證模塊，用于利用所述重編譯部分替換所述RTL文件中的所述錯誤部分，得到新的RTL文件，并對所述新的RTL文件進行驗證。

8.根據權利要求7所述的芯片驗證裝置，其特征在于，所述定位模塊包括：

編譯單元，用于利用強制生效語句對所述錯誤部分進行編譯。

9.一種芯片驗證平臺，其特征在于，包括激勵發生器、DUT模塊、異常識別組件、debug組件：

所述激勵發生器，用于對所述DUT模塊中預先編譯且與待驗證芯片對應的RTL文件進行驗證；

所述異常識別組件，用于判斷所述RTL文件是否正確，并在確定所述RTL文件不正確時，通知所述debug組件；

所述debug組件，用于在確定所述RTL文件不正確時，定位所述RTL文件中的錯誤部分，并對所述錯誤部分進行編譯，得到重編譯部分；利用所述重編譯部分替換所述DUT模塊中所述RTL文件中的所述錯誤部分，得到新的RTL文件，并由所述激勵發生器對所述新的RTL文件進行驗證。

10.根據權利要求9所述的芯片驗證平臺，其特征在于，所述debug組件，具體用于利用強制生效語句對所述錯誤部分進行編譯。