[發明專利]覆蓋率驅動的隨機驗證的方法

有效

• 申請號: 201010607224.0
• 申請日: 2010-12-27
• 公開（公告）號: CN102542088A
• 公開（公告）日: 2012-07-04
• 發明（設計）人: 陳濤
• 申請（專利權）人: 北京國睿中數科技股份有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 中國專利代理(香港)有限公司 72001
• 代理人: 曲寶壯;王洪斌

技術領域

本發明涉及集成電路的驗證，特別涉及基于覆蓋率驅動的隨機驗證。

背景技術

隨著集成電路設計規模的不斷增大，功能日趨復雜，驗證逐漸成為制約集成電路設計的瓶頸之一。傳統的驗證方法不僅效率低，而且驗證結果的可靠性也不能完全得到保證，驗證的遺漏點往往會成為導致芯片崩潰的殺手。為了解決驗證的問題，最近出現了很多新的驗證方法學，例如：基于斷言的驗證，覆蓋率驅動的隨機驗證等。通過隨機激勵能夠發現很多設計和驗證人員沒有預想到的角落，但是如果不對隨機激勵源加以約束往往會產生很多重復的激勵，這些激勵不能提高驗證的質量，只會降低驗證的效率，延長驗證的收斂時間。為了加速隨機驗證的收斂，我們通常會把覆蓋率數據反饋給激勵源，激勵源根據當前的覆蓋率情況對后續的隨機激勵加以約束，產生有針對性的激勵，這樣就可以減少簡單重復的隨機激勵，加速驗證的收斂過程。

目前基于覆蓋率驅動的隨機驗證都是使用單臺計算機或工作站進行的，在項目進度緊迫時不能有效加快驗證的速度。因此需要一種能夠加速驗證的收斂過程的基于覆蓋率驅動的隨機驗證的方法。

發明內容

本發明的目的在于解決上述問題中的一個或多個。

為了達到上述目的，本發明提出一種方法，其充分利用多計算機的資源，通過共享及融合覆蓋率數據加快基于覆蓋率驅動的隨機驗證的收斂過程。

本發明在一個方面，提出一種利用至少兩個計算單元進行覆蓋率驅動的隨機驗證的方法，所述至少兩個計算單元包括第一計算單元和第二計算單元，所述第一計算單元具有第一覆蓋率數據庫，所述第二計算單元具有第二覆蓋率數據庫，所述第一計算單元和所述第二計算單元均可訪問總覆蓋率數據庫，所述方法包括：

所述第一計算單元啟動第一隨機驗證，并將第一隨機驗證產生的第一覆蓋率數據寫入第一覆蓋率數據庫，

所述第二計算單元啟動第二隨機驗證，并將第二隨機驗證產生的第二覆蓋率數據寫入第二覆蓋率數據庫，

每隔一段時間，將第一覆蓋率數據庫的第一覆蓋率數據和第二覆蓋率數據庫的第二覆蓋率數據寫入總覆蓋率數據庫，

對總覆蓋率數據庫中的第一覆蓋率數據和第二覆蓋率數據進行融合，得到融合的覆蓋率數據，

將融合的覆蓋率數據寫入第一覆蓋率數據庫和第二覆蓋率數據庫。

根據本發明的另一方面，第一計算單元使用第一隨機激勵啟動第一隨機驗證，第二計算單元使用第二隨機激勵啟動第二隨機驗證，第一隨機激勵與所述第二隨機激勵不同。

根據本發明的另一方面，第一計算單元根據融合的覆蓋率數據調整第一隨機激勵，第二計算單元根據融合的覆蓋率數據調整第二隨機激勵。

根據本發明的另一方面，調整第一隨機激勵包括改變第一激勵或者調整指令的權重。

根據本發明的另一方面，還包括使用第三計算單元根據融合的覆蓋率數據進行第三隨機驗證。

本發明具有下列優點：

1、各計算機間通過網絡共享覆蓋率數據，并行工作減少單個計算機性能對驗證速度的制約，可有效加快基于覆蓋率驅動的隨機驗證的收斂過程。

2、通過在仿真腳本中加入網絡傳輸命令或使用已有的網絡傳輸工具即可將覆蓋率數據發送到遠程的覆蓋率數據庫。通常仿真工具產生覆蓋率數據可以通過簡單的辦法進行融合。整個控制簡單，避免了實現的復雜性。

3、可以根據計算機資源，隨時增加或減少整個驗證網絡中計算機的數目，不會中斷驗證進程。

附圖說明

圖1是根據本發明的一個實施例的使用多計算單元加速覆蓋率驅動的隨機驗證的系統架構示意圖。

具體實施方式

以下結合附圖，對本發明的具體實施例進行詳細的說明。

如圖1所示，多個計算單元，例如計算單元1、2、3和4，連接到中心計算單元5，該連接可以是無線連接或者有線連接。本發明的計算單元可以是常用的計算機，但不限于此，計算單元可以包括能夠進行仿真的任何計算設備。各計算單元能夠分別啟動自己的隨機仿真，為了減小各計算單元產生的激勵的相關性，各計算單元使用的隨機激勵或隨機種子應有足夠差別。各計算單元有本地的覆蓋率數據庫，這樣可以減少通信給仿真速度造成的影響。

遠程覆蓋率數據庫（即，總覆蓋率數據庫）位于中心計算單元5上。總覆蓋率數據庫融合來自各計算單元的覆蓋率數據。例如，總覆蓋率數據庫利用可以利用仿真工具提供的覆蓋率融合辦法或腳本語言融合來自各計算單元的覆蓋率數據，從而生成總覆蓋率數據。

總覆蓋率數據庫也可以位于計算單元1-4其中之一從而不需要中心計算單元5。