[發明專利]一種通用接口覆蓋率模型驗證環境自動生成方法、系統及介質

有效

• 申請號: 202010596787.8
• 申請日: 2020-06-28
• 公開（公告）號: CN111611176B
• 公開（公告）日: 2023-05-30
• 發明（設計）人: 歐國東;羅莉;潘國騰;周海亮;荀長慶;周理;鐵俊波;王蕾;龔銳;石偉;劉威
• 申請（專利權）人: 中國人民解放軍國防科技大學
• 主分類號: G06F11/36
• 分類號: G06F11/36;G06F30/398
• 代理公司: 湖南兆弘專利事務所(普通合伙) 43008
• 代理人: 譚武藝

本發明公開了一種通用接口覆蓋率模型驗證環境自動生成方法、系統及介質，本發明方法包括：獲取包含通用接口所涉及的全部覆蓋組和斷言的覆蓋率模型描述模板；根據覆蓋率模型描述模板的格式及要求獲取覆蓋率模型自動生成腳本；根據覆蓋率模型描述模板和所需的覆蓋組和斷言獲取覆蓋率模型描述文件；使用覆蓋率模型自動生成腳本處理生成的覆蓋率模型描述文件，自動生成接口覆蓋率模型環境，得到包括所需接口覆蓋率模型、宏定義文件、文件列表和連接文件。本發明具有良好繼承性，避免了對代碼直接進行修改的重復性工作，也避免了代碼編寫風格差異帶來的風險，本發明還可以應用于標準接口之外的自定義協議接口的覆蓋率模型生成。

技術領域

本發明涉及集成電路功能驗證領域，具體涉及一種通用接口覆蓋率模型驗證環境自動生成方法、系統及介質。

背景技術

隨著集成電路的設計規模越來越大，對于功能正確性驗證的挑戰也隨之增大。功能正確性驗證的挑戰主要表現在以下幾方面：驗證功能點是否完備，測試結果的正確性檢測，覆蓋率模型是否完善等。功能點的完備性可以通過多次功能點的評審來盡可能保證完備性。測試結果的正確性檢測可以通過編寫參考模型，并與設計進行一致性檢查來保證。覆蓋率模型通常由驗證師根據功能點文檔進行編寫，由于不同驗證師對功能點的理解和代碼編寫風格有差異，會造成每個驗證師編寫的功能覆蓋率模型存在較大差異，在其它項目中需要繼承該覆蓋率模型時，往往需要花費較多的時間對該覆蓋率模型進行調測試，不具有良好的繼承性，從而導致很多重復工作的進行。因此尋找一種具有良好繼承性，且能夠通用的覆蓋率模型生成方法，對于節省集成電路設計驗證的時間和人力成本具有重要意義。

發明內容

本發明要解決的技術問題：針對現有技術的上述問題，提供一種通用接口覆蓋率模型驗證環境自動生成方法、系統及介質，本發明對于相同接口的不同覆蓋率模型需求，僅需對描述文件進行少量修改即可，從而提高了覆蓋率模型的繼承性，具有良好繼承性，避免了對代碼直接進行修改的重復性工作，也避免了代碼編寫風格差異帶來的風險，本發明還可以應用于標準接口之外的自定義協議接口的覆蓋率模型生成。

為了解決上述技術問題，本發明采用的技術方案為：

一種通用接口覆蓋率模型驗證環境自動生成方法，該方法包括：

1）獲取包含通用接口所涉及的全部覆蓋組和斷言的覆蓋率模型描述模板；

2）根據覆蓋率模型描述模板和所需的覆蓋組和斷言獲取覆蓋率模型描述文件；

3）根據覆蓋率模型描述模板的格式及要求獲取覆蓋率模型自動生成腳本，使用覆蓋率模型自動生成腳本處理生成的覆蓋率模型描述文件自動生成接口覆蓋率模型環境，得到包括所需接口覆蓋率模型、宏定義文件、文件列表和連接文件。

可選地，所述覆蓋率模型描述模板包括頂層描述模板、接口描述模板、斷言描述模板和覆蓋組描述模板，頂層描述模板、接口描述模板、斷言描述模板和覆蓋組描述模板均為表格形式且表頭中至少包含項目子系統、項目模塊、接口協議和類型，所述頂層描述模板的數量為1個，所述接口描述模板、斷言描述模板和覆蓋組描述模板的數量為至少一個。