[發明專利]具有結構化模型的集成電路設計驗證方法

無效

• 申請號: 201010149157.2
• 申請日: 2010-04-07
• 公開（公告）號: CN101840450A
• 公開（公告）日: 2010-09-22
• 發明（設計）人: 黃瑞華;連志斌;謝崢;楊偉才;張國棟;蘇世祥;劉芳
• 申請（專利權）人: 連志斌
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 深圳市百瑞專利商標事務所(普通合伙) 44240
• 代理人: 金輝

1.具有結構化模型的集成電路設計驗證方法，其特征在于，包括如下步驟：

第一步，把多份對設計規格書/需求書分別進行獨立結構化分析得到的結構化資源記錄使用海圖覆蓋模型的方法整合，獲得覆蓋所述設計規格書/需求書的完整結構化資源；

第二步，檢查所述完整結構化資源，并刪除其中重復的部分；同時還利用測點狀態統計模型檢查所有測點對應的測試激勵能否產生，如果不能夠產生，則提供覆蓋測試方案；

第三步，對所述完整結構化資源進行資源提取映射計算，產生結構化的驗證平臺，所述驗證平臺進行驗證。

2.如權利要求1所述的驗證方法，其特征在于，在所述第一步中分別記錄所述結構化資源記錄和所述完整結構化資源中的敏感資源和關系資源；并且分別記錄所述敏感資源中的輸入敏感資源、輸出敏感資源和中間變量敏感資源。

3.如權利要求2所述的驗證方法，其特征在于，在所述第一步中還分別記錄所述敏感資源中的信號級敏感資源、事務級敏感資源和結構化資源級敏感資源。

4.如權利要求3所述的驗證方法，其特征在于，在所述第一步中記錄所述完整結構化資源中的敏感資源和關系資源的方法是建立結構化資源庫：建立包括項目管理資源、技術規格書/需求書的索引和結構化分析資源的名稱、優先級、檢查記錄以及覆蓋狀態的表格；以及分別建立與每一個所述結構化分析資源的名稱對應的包括所述敏感資源和關系資源的表格。

5.如權利要求4所述的驗證方法，其特征在于，在所述第二步中還利用連接性模型將所述結構化資源庫中所有的結構化資源進行敏感資源的連接并進行記錄組成一個系統架構圖，報告并修復不能連接的敏感資源。

6.如權利要求5所述的驗證方法，其特征在于，在所述第二步中通過對所述敏感資源中的信號級敏感資源、事務級敏感資源和結構化資源級敏感資源進行二維的關系分析，得到所述關系資源。

7.如權利要求5所述的驗證方法，其特征在于，在所述第二步中，還形成報告文件，用于記錄不能連接的結構化資源及其相應的敏感資源，連接成功的結構化資源，和被重復記錄的結構化資源；并將所述報告文件反饋到所述結構化資源庫，用于修改和完善所述結構化資源庫。

8.如權利要求7所述的驗證方法，其特征在于，所述第三步中對所述完整結構化資源進行的資源提取映射計算包括：首先把所述結構化資源庫中的信息提取出來，再映射到結構化驗證環境組件。