[發明專利]一種多人協同驗證復雜IP的驗證平臺的方法及結構

有效

• 申請號: 201010595906.4
• 申請日: 2010-12-17
• 公開（公告）號: CN102053894A
• 公開（公告）日: 2011-05-11
• 發明（設計）人: 廖裕民
• 申請（專利權）人: 福州瑞芯微電子有限公司
• 主分類號: G06F11/26
• 分類號: G06F11/26
• 代理公司: 福州市鼓樓區京華專利事務所(普通合伙) 35212
• 代理人: 翁素華

1.一種多人協同驗證復雜IP的驗證平臺的方法，它包括獨立驗證階段和協同驗證階段，其特征在于，具體包括：

步驟10、使用模擬行為模型產生的數據流，進行各個子模塊的獨立驗證，每個子模塊輸出端設有數據采集模型用于采集并記錄數據流，判斷數據流是否正確，若正確則進入下一步驟，若錯誤則修正后，繼續獨立驗證；

步驟20、使用真實的數據流，進行各個子模塊的協同驗證，通過輸出數據采集模型采集IP總體運算數據，判斷總體運算數據是否正確，若錯誤則進入下一步驟；若正確，則結束驗證；

步驟30、通過上述各子模塊輸出端的數據采集模型采集數據流，根據數據流錯誤的位置找出所有可能出錯的子模塊進行獨立驗證，若驗證錯誤則修正，直到所有可能出錯的子模塊都驗證正確；

步驟40、將所有的子模塊重新加入協同驗證平臺進行協同驗證，回到步驟20。

2.根據權利要求1所述的一種多人協同驗證復雜IP的驗證平臺的方法，其特征在于：步驟30進一步包括：在錯誤的子模塊修正問題期間，其他子模塊使用該子模塊的模擬行為模型來替代該子模塊，以此進行自己的獨立驗證。

3.一種多人協同驗證復雜IP的驗證平臺的結構，所述IP包括復數個子模塊，所述IP的輸入端設有激勵信息產生模型，所述IP的輸出端設有輸出數據采集模型，其特征在于：每兩個子模塊之間都設有一數據采集模型，每兩個子模塊之間設有一模擬行為模型，每兩個子模塊之間還連接有一通路選擇器，所述通路選擇器的一輸入端和輸出端用于連接原始數據流通路，另一輸入端連接對應的模擬行為模型；所述每兩個子模塊之間的數據采集模型連接于前一子模塊的輸出端，用于采集前一子模塊到后一子模塊的數據信息；所述每兩個子模塊之間的模擬行為模型用于模擬前一子模塊到后一子模塊的行為。

4.根據權利要求3所述的一種多人協同驗證復雜IP的驗證平臺的結構，其特征在于：所述通路選擇器通過宏開關實現實際子模塊或模擬行為模型產生的數據流之間的選擇。