[發明專利]一種芯片驗證輔助環境以及芯片驗證系統

有效

• 申請號: 201910971380.6
• 申請日: 2019-10-14
• 公開（公告）號: CN110781637B
• 公開（公告）日: 2023-05-02
• 發明（設計）人: 洪灝;劉浩;張靜;鄭思;唐振中
• 申請（專利權）人: 珠海泰芯半導體有限公司
• 主分類號: G06F30/367
• 分類號: G06F30/367
• 代理公司: 廣東朗乾律師事務所 44291
• 代理人: 閆有幸

1.一種芯片驗證輔助環境，用于與芯片的驗證環境配合使用來進行芯片的自動化驗證；其特征在于，所述芯片驗證輔助環境包括應用場景數據庫、驗證場景生成以及轉換單元、場景配置單元、數據采集以及分析處理單元；

所述應用場景數據庫，用于記錄芯片的所有應用場景；

所述驗證場景生成以及轉換單元與所述應用場景數據庫以及所述場景配置單元連接，根據所述應用場景數據庫的各應用場景自動生成各種待驗證的驗證場景，并且將各驗證場景的所有配置進行格式轉換，格式轉換后的數據存儲在所述場景配置單元中；

所述數據采集以及分析處理單元與所述場景配置單元以及所述驗證環境連接；所述數據采集以及分析處理單元用于生成隨機種子，并將所述隨機種子發送給所述場景配置單元；所述數據采集以及分析處理單元還用于采集所述驗證環境中的驗證場景的驗證結果，當某一驗證場景驗證完成，所述數據采集以及分析處理單元生成另外一個隨機種子；

所述場景配置單元與所述驗證環境連接，根據所述隨機種子選出一種驗證場景，將該驗證場景的各項配置發送給所述驗證環境進行該驗證場景的驗證。

2.根據權利要求1所述的芯片驗證輔助環境，其特征在于，還包括配置取樣單元，用于存儲用于記錄各應用場景所對應的各項配置的取樣條件；所述驗證場景生成以及轉換單元根據應用場景數據庫的各應用場景以及所述取樣條件自動生成各種待驗證的驗證場景。

3.根據權利要求2所述的芯片驗證輔助環境，其特征在于，所述取樣條件包括各項配置的取值范圍以及取樣間隔。

4.根據權利要求3所述的芯片驗證輔助環境，其特征在于，所述應用場景數據庫為Excel格式，所述驗證場景生成以及轉換單元通過VBA在所述應用場景數據庫中識別出一種應用場景，并結合配置取樣單元中該應用場景的各項配置的取樣條件，逐一生成驗證場景。

5.根據權利要求1所述的芯片驗證輔助環境，其特征在于，還包括驗證統計單元；所述驗證場景生成以及轉換單元與所述驗證統計單元以及所述數據采集以及分析處理單元連接；所述驗證統計單元獲取所述驗證場景生成以及轉換單元生成的所有驗證場景，用于統計各驗證場景的驗證結果；所述數據采集以及分析處理單元根據所述驗證場景生成以及轉換單元的設定采集驗證環境中的各項配置，并將采集到各項配置進行組合以還原出一種驗證場景，并更新所述驗證統計單元中該驗證場景的驗證結果。

6.根據權利要求5所述的芯片驗證輔助環境，其特征在于，所述驗證統計單元還用于統計各驗證場景的驗證次數。

7.根據權利要求5所述的芯片驗證輔助環境，其特征在于，所述驗證場景生成以及轉換單元將所述場景配置單元的各驗證場景的所有配置的格式轉換為SV語言，所述場景配置單元存儲的數據的語言格式為SV語言；所述驗證統計單元的數據存儲格式為excel格式。

8.根據權利要求5所述的芯片驗證輔助環境，其特征在于，還包括隨機種子存儲單元，與所述數據采集以及分析處理單元連接，用于存儲各驗證場景驗證時所對應的隨機種子。

9.根據權利要求5所述的芯片驗證輔助環境，其特征在于，所述數據采集以及分析處理單元還根據所述驗證統計單元內存儲的信息，判斷各項驗證場景是否得到充分驗證，所述數據采集以及分析處理單元生成的隨機種子為在得到充分驗證的驗證場景之外隨機生成選出一種驗證場景進行驗證。

10.根據權利要求6所述的芯片驗證輔助環境，其特征在于，所述數據采集以及分析處理單元生成的所述隨機種子沒有對應的驗證場景時，由所述場景配置單元隨機選取各配置的組合組成一非法驗證環境給所述驗證環境進行驗證；所述驗證統計單元中還用與記錄所述非法驗證環境的驗證結果以及驗證次數。

11.根據權利要求1～10任意一項所述的芯片驗證輔助環境，其特征在于，所述驗證場景配置單元通過軟件接口與所述驗證環境連接；所述數據采集以及分析處理單元通過軟件接口與所述驗證環境連接。

12.一種芯片驗證系統，其特征在于，包括驗證環境以及權利要求1～11任意一項所述的輔助環境，所述輔助環境的所述場景配置單元與所述驗證環境連接，所述輔助環境的所述數據采集以及分析處理單元與所述驗證環境連接。