[發(fā)明專利]一種自動生成斷言的方法及裝置

有效

• 申請?zhí)枺?/td>: 201210594222.1
• 申請日: 2012-12-31
• 公開（公告）號: CN103019745A
• 公開（公告）日: 2013-04-03
• 發(fā)明（設計）人: 徐林偉;王欣
• 申請（專利權）人: 青島中星微電子有限公司
• 主分類號: G06F9/44
• 分類號: G06F9/44
• 代理公司: 北京銀龍知識產權代理有限公司 11243
• 代理人: 許靜;黃燦

1.一種自動生成斷言的方法，用于為一待驗證模塊生成斷言驗證代碼，其特征在于，包括：

確定步驟，根據(jù)用戶輸入確定所述待驗證模塊對應的仿真波形數(shù)據(jù)、待驗證對象和波形數(shù)據(jù)提取條件；

提取步驟，從所述待驗證對象的仿真波形數(shù)據(jù)中提取滿足所述波形數(shù)據(jù)提取條件的部分作為待匹配波形數(shù)據(jù)；

計算步驟，根據(jù)所述待匹配波形數(shù)據(jù)計算所述待驗證對象的值；

匹配步驟，從多個預先保存的斷言模板中選擇與所述待驗證對象的值匹配的至少一個斷言模板；

輸出步驟，輸出選擇的所述至少一個斷言模板對應的SVA代碼作為所述待驗證模塊的斷言驗證代碼，所述SVA代碼綁定到所述待驗證模塊后，能夠利用所述SVA代碼對所述待驗證模塊進行基于斷言的驗證。

2.根據(jù)權利要求1所述的自動生成斷言的方法，其特征在于，所述預先保存的斷言模板包括第一類型的用于數(shù)值驗證的斷言模板和第二類型的用于時序驗證的斷言模板；

所述匹配步驟具體包括：

選擇子步驟，從所述第一類型的斷言模板和第二類型的斷言模板選擇類型與所述待驗證對象的斷言驗證類型相同的模板形成一模板集合；

匹配子步驟，從所述模板集合中查找與所述待驗證對象的值匹配的至少一個斷言模板。

3.根據(jù)權利要求2所述的自動生成斷言的方法，其特征在于，所述待驗證對象的斷言驗證類型為數(shù)值驗證類型時，所述波形數(shù)據(jù)提取條件包括：時間條件、階段條件和有效性條件，所述提取步驟具體包括：

從所述仿真波形數(shù)據(jù)中截取滿足所述時間條件的第一仿真波形子數(shù)據(jù)；

從第一仿真波形子數(shù)據(jù)中截取所處階段滿足所述階段條件的第二仿真波形子數(shù)據(jù)；

從所述第二仿真波形子數(shù)據(jù)中截取數(shù)據(jù)有效性滿足所述有效性條件的第三仿真波形子數(shù)據(jù)，作為所述待匹配波形數(shù)據(jù)。

4.根據(jù)權利要求2所述的自動生成斷言的方法，其特征在于，多個預先保存的斷言模板具有各自的優(yōu)先級，所述待驗證對象的斷言驗證類型為數(shù)值驗證類型時，所述匹配子步驟中，按照所述模板集合中的斷言模板的優(yōu)先級順序逐個匹配，直至找到與所述待匹配波形數(shù)據(jù)匹配的斷言模板。

5.根據(jù)權利要求2所述的自動生成斷言的方法，其特征在于，多個預先保存的斷言模板具有各自的優(yōu)先級，所述待驗證對象的斷言驗證類型為時序驗證類型時，所述匹配子步驟中，按照所述模板集合中的斷言模板的優(yōu)先級順序逐個匹配，直至找到與所述待匹配波形數(shù)據(jù)匹配的斷言模板，或者所有單個斷言模板均不匹配時，使用所述模板集合中的斷言模板的組合進行匹配，直至找到與所述待匹配波形數(shù)據(jù)匹配的斷言模板組合。

6.根據(jù)權利要求1所述的自動生成斷言的方法，其特征在于，所述確定步驟具體包括：

輸出一Excel模板供用戶輸入；

根據(jù)所述Excel模板中的輸入信息確定所述待驗證模塊對應的仿真波形數(shù)據(jù)、待驗證對象和波形數(shù)據(jù)提取條件。

7.一種自動生成斷言的裝置，用于為一待驗證模塊生成斷言驗證代碼，其特征在于，包括：

確定模塊，用于根據(jù)用戶輸入確定所述待驗證模塊對應的仿真波形數(shù)據(jù)、待驗證對象和波形數(shù)據(jù)提取條件；

提取模塊，用于從所述待驗證對象的仿真波形數(shù)據(jù)中提取滿足所述波形的數(shù)據(jù)提取條件的部分作為待匹配波形數(shù)據(jù)；

計算模塊，用于根據(jù)所述待匹配波形數(shù)據(jù)計算所述待驗證對象的值；

匹配模塊，用于從多個預先保存的斷言模板中選擇與所述待驗證對象的值匹配的至少一個斷言模板；

輸出模塊，輸出選擇的所述至少一個斷言模板對應的SVA代碼作為所述待驗證模塊的斷言驗證代碼，所述SVA代碼綁定到所述待驗證模塊后，能夠利用所述SVA代碼對所述待驗證模塊進行基于斷言的驗證。

8.根據(jù)權利要求7所述的自動生成斷言的裝置，其特征在于，所述預先保存的斷言模板包括第一類型的用于數(shù)值驗證的斷言模板和第二類型的用于時序驗證的斷言模板；

所述匹配模塊具體包括：

第一選擇單元，用于從所述第一類型的斷言模板和第二類型的斷言模板選擇類型與所述待驗證對象的斷言驗證類型相同的模板形成一模板集合；

第二選擇單元，用于從所述模板集合中選擇與所述待匹配波形數(shù)據(jù)匹配的至少一個斷言模板。