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

有效

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

【技術領域】

本發明涉及一種IP技術，特別是涉及一種IP驗證技術。

【背景技術】

隨著微電子技術的飛速發展，集成電路規模按照摩爾定律(微芯片上集成的晶體管數目每18個月翻一番)飛速提高，片上系統(System?On?Chip，簡稱SOC)技術成為國際超大規模集成電路的發展趨勢。在SOC系統設計中，為了能夠快速、穩定的形成產品，IP(intellectual?property)核積累和復用技術逐漸成為各個芯片廠商的首選。在這樣的背景下，IP復用技術成為了集成電路設計的一個重要分支，很多設計廠商在購買其它公司的IP核的同時，也越來越重視本公司的IP核設計和積累。

在IP累積過程中，設計和驗證是最重要的兩個部分，而隨著IP電路設計功能和結構的日益復雜，驗證的工作量和難度更是以幾何級數的速度上升。驗證就是通過各種仿真，數據比較等手段來證明設計的正確性的過程，由于要在驗證過程中需要證明設計在定義的所有的工作條件范圍內不能出現錯誤，所以驗證的工作量相對于設計來說更加巨大，在部分復雜IP的研發過程中，驗證的時間甚至占到了總時間的80％以上。

隨著IP驗證工作量的上升，一個復雜IP的驗證工作也很難由一個驗證工程師完成，通常的做法是多個驗證工程師合作完成一個IP的驗證工作。在多人協作的驗證工作中，每個驗證工程師都會負責其中的一部分子模塊；

當前復雜IP驗證的挑戰：由于IP具體的結構中的電路在工作時有先后關系，所以在驗證時，通常只能串行的進行驗證，處于輸出端的子模塊通常都要等待前級的子模塊驗證完畢后才能進行驗證。現有的多人復雜IP驗證的過程通常為：首先劃分任務，當每個驗證工程師的任務劃分完畢后，從IP輸入端開始的子模塊先開始驗證；當前一級的子模塊驗證能保證基本功能正確之后，下一級的子模塊才能開始驗證，驗證子模塊的順序為從輸入到輸出，每個子模塊都要自己搭建一個獨立的驗證平臺，該驗證平臺包括本級子模塊之前的所有模塊和本子模塊的輸出檢查；當每個子模塊驗證基本驗證通過后，使用一個新的整個IP的驗證平臺，該平臺包含整個IP的所有子模塊，從IP的輸入端加入激勵信息，然后再IP的輸出端檢查輸出的正確性；在聯合驗證過程中，如果出現問題，需要每個子模塊都回到自己的獨立驗證平臺中重新使用相同情況仿真一次來確定是哪個工程師負責的子模塊出了問題，這個定位問題歸屬的時間過程常常花費大量的時間。

【發明內容】

本發明要解決的技術問題，在于提供一種多人協同驗證復雜IP的驗證平臺的方法及結，它能夠提高驗證效率，減少驗證時間。

本發明一種多人協同驗證復雜IP的驗證平臺的方法是這樣實現的：

本發明具體包括如下步驟：

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

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

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

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

本發明一種多人協同驗證復雜IP的驗證平臺的結構是這樣實現的：

本發明所述IP包括復數個子模塊，所述IP包括復數個子模塊，所述IP的輸入端設有激勵信息產生模型，所述IP的輸出端設有輸出數據采集模型，每兩個子模塊之間都設有一數據采集模型，每兩個子模塊之間設有一模擬行為模型，每兩個子模塊之間還連接有一通路選擇器，所述通路選擇器的一輸入端和輸出端用于連接原始數據流通路，另一輸入端連接對應的模擬行為模型；所述每兩個子模塊之間的數據采集模型連接于前一子模塊的輸出端，用于采集前一子模塊到后一子模塊的數據信息；所述每兩個子模塊之間的模擬行為模型用于模擬前一子模塊到后一子模塊的行為。

本發明具有如下優點：

1.本發明使用通路選擇器實現真實數據流和模擬行為模型的數據流的切換，將子模塊獨立驗證和協同驗證的驗證平臺統一起來，不需要兩套不同的驗證平臺，由此大大減少了多次搭建平臺的時間和減少了不同平臺之間切換造成錯誤的風險；