[發明專利]驗證環境的控制方法、裝置、平臺、設備和存儲介質

有效

• 申請號: 202110631913.3
• 申請日: 2021-06-07
• 公開（公告）號: CN113312246B
• 公開（公告）日: 2023-04-11
• 發明（設計）人: 張良;尚錚;劉世鵬
• 申請（專利權）人: 海光信息技術股份有限公司
• 主分類號: G06F11/34
• 分類號: G06F11/34
• 代理公司: 北京超凡宏宇專利代理事務所(特殊普通合伙) 11463
• 代理人: 鐘揚飛

本申請提供一種驗證環境的控制方法、裝置、平臺、設備和存儲介質，該方法包括：獲取驗證環境中執行模塊的運行狀態信息；根據所述運行狀態信息，判斷所述驗證環境的運行是否存在故障；當所述驗證環境的運行存在故障時，控制所述驗證環境的停止運行。本申請可以對驗證環境仿真掛死進行快速的報警并停止仿真，從而大大地減少仿真掛死運行時的時間損耗，加快芯片驗證的迭代。

技術領域

本申請涉及芯片驗證技術領域，具體而言，涉及一種驗證環境的控制方法、裝置、平臺、設備和存儲介質。

背景技術

芯片驗證，就是采用相應的驗證語言、驗證工具、驗證方法，在芯片生產之前驗證芯片設計是否符合芯片定義的需求規格，是否已經完全釋放了風險，發現并更正了所有的缺陷。

隨著集成電路產業的快速發展，芯片的規模以及復雜度越來越大，與此同時，驗證環境的規模及復雜度也大大增加。在驗證環境仿真運行的過程中，由于芯片設計內部的死鎖或競爭，或者驗證平臺內部可能存在的死循環、無效等待等問題，環境仿真遇到掛死的情況越來越頻繁。因此，當驗證環境仿真遇到仿真掛死時，快速的停止仿真運行，就變得非常有必要。

傳統的驗證平臺，對掛死錯誤的處理方是設置一個全局的仿真運行時間上限，當遇到死鎖等錯誤情況導致仿真無法正常停止時，則等待仿真時間到達設置好的上限，強制停止仿真并將此錯誤上報。例如，基于UVM(Universal?Verification?Methodology，通用驗證方法學)的驗證平臺中，通過設置UVM_TIMEOUT參數來設定仿真運行時間上限，當仿真運行到達該時間上限時，仿真運行會停止。但是，如果傳統的驗證環境仿真運行遇到掛死的情況，只能等到仿真時間到達TIMEOUT時間參數值，仿真才能停止，而其中從遇到仿真掛死到仿真停止的這段時間，就被白白浪費掉。并且實際場景中，由于要兼顧所有的仿真用例，默認的環境仿真時間上限必須設置為一個較大的值，當出現錯誤時需要等待很長的時間才可以停止仿真，導致無法快速復現錯誤，影響驗證效率。

發明內容

本申請實施例的目的在于提供一種驗證環境的控制方法、裝置、平臺、設備和存儲介質，可以對驗證環境仿真掛死進行快速的報警并停止仿真，從而大大地減少仿真掛死運行時的時間損耗，加快芯片驗證的迭代。

本申請實施例第一方面提供了一種驗證環境的控制方法，包括：獲取驗證環境中執行模塊的運行狀態信息；根據所述運行狀態信息，判斷所述驗證環境的運行是否存在故障；當所述驗證環境的運行存在故障時，控制所述驗證環境停止運行。

于一實施例中，所述獲取驗證環境中執行模塊的運行狀態信息，包括：周期性獲取所述驗證環境中所述執行模塊的所述運行狀態信息。

于一實施例中，所述獲取驗證環境中執行模塊的運行狀態信息，包括：在芯片驗證過程中，當預定事件發生時，獲取驗證環境中執行模塊的運行狀態信息。

于一實施例中，所述運行狀態信息為所述執行模塊執行操作的活躍度；所述根據所述運行狀態信息判斷所述驗證環境的運行是否存在故障，包括：判斷所述活躍度是否小于或等于預設閾值；若所述活躍度小于或等于所述預設閾值，確定所述驗證環境的運行存在故障，否則，確定所述驗證環境的運行不存在故障。

于一實施例中，在所述根據所述運行狀態信息判斷所述驗證環境的運行是否存在故障之后，還包括：清除已記錄的所述運行狀態信息。

于一實施例中，在所述獲取驗證環境中執行模塊的運行狀態信息之前，還包括：將所述驗證環境中的所有執行模塊進行注冊，為每個所述執行模塊創建運行狀態指針，用于記錄每個所述執行模塊的運行狀態信息。

于一實施例中，還包括：當所述驗證環境的運行存在故障時，發出警報。