買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！

龍圖騰網恭喜沐曦科技(北京)有限公司申請的專利一種多層級覆蓋率收集系統獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119718809B 。

龍圖騰網通過國家知識產權局官網在2025-05-30發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202510224543.X，技術領域涉及：G06F11/22；該發明授權一種多層級覆蓋率收集系統是由劉宏偉;李勁松設計研發完成，并于2025-02-27向國家知識產權局提交的專利申請。

本一種多層級覆蓋率收集系統在說明書摘要公布了：本申請涉及芯片驗證技術領域，特別是涉及一種多層級覆蓋率收集系統，該系統通過預設驗證時長來確定是否需要針對未收集滿覆蓋率的模塊使用其他驗證方式來更新覆蓋率，避免了深層模塊的覆蓋率收集耗時過長而導致整體芯片驗證的效率下降，且通過當前模塊的模塊復雜度和預設驗證環境的驗證環境復雜度，選擇合適的驗證方式對當前模塊進行覆蓋率更新，從而提高了深層模塊覆蓋率收集的靈活性和可靠性，也有效提高了深層模塊覆蓋率收集的效率，使得能夠快速收集深層模塊的覆蓋率，從而提高了芯片驗證的效率。

本發明授權一種多層級覆蓋率收集系統在權利要求書中公布了：1.一種多層級覆蓋率收集系統，其特征在于，所述系統包括：待驗證設計、處理器和存儲有計算機程序的存儲器，其中，所述待驗證設計包括M個模塊{a1，a2，…，am，…，aM}，am為所述待驗證設計中的第m個模塊，m為[1，M]范圍內的整數，am對應有am在所述待驗證設計中所屬的層級bm，am包含有若干個端口，當所述計算機程序被處理器執行時，實現以下步驟：S101，在預設驗證環境下對所述待驗證設計進行驗證，記錄預設驗證時長下各個模塊對應的覆蓋率；S102，當存在至少一個模塊對應的覆蓋率小于預設的覆蓋率閾值時，針對任一覆蓋率小于所述覆蓋率閾值的模塊，若當前模塊所屬的層級大于預設的層級閾值，且所述預設驗證時長滿足預設第一條件，則獲取當前模塊對應的模塊復雜度；S103，若當前模塊對應的模塊復雜度小于預設的第一復雜度閾值，則使用第一驗證方式更新當前模塊的覆蓋率，其中，所述使用第一驗證方式更新當前模塊的覆蓋率，包括：針對當前模塊中的任一端口，將當前端口對應的參考信號通過強制指定的方式配置給當前端口，以更新當前模塊的覆蓋率；S104，若當前模塊對應的模塊復雜度大于或者等于所述第一復雜度閾值，且所述預設驗證環境對應的驗證環境復雜度小于預設的第二復雜度閾值，則使用第二驗證方式更新當前模塊的覆蓋率，其中，所述使用第二驗證方式更新當前模塊的覆蓋率，包括：在所述預設驗證環境中構建模塊驗證序列器，并定義接口組件；通過所述模塊驗證序列器，在所述預設驗證環境中將當前模塊中各個端口對應的參考信號賦值給所述接口組件；使用所述接口組件，將當前模塊中各個端口對應的參考信號通過強制指定的方式配置給對應端口，以更新當前模塊的覆蓋率；S105，若當前模塊對應的模塊復雜度大于或者等于所述第一復雜度閾值，且所述預設驗證環境對應的驗證環境復雜度大于或者等于所述第二復雜度閾值，則使用第三驗證方式更新當前模塊的覆蓋率，其中，所述預設驗證環境對應有檢查器；所述使用第三驗證方式更新當前模塊的覆蓋率，包括：構建當前模塊對應的參考驗證環境，所述參考驗證環境包含所述檢查器；在所述參考驗證環境下對當前模塊進行驗證，以更新當前模塊的覆蓋率。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人沐曦科技(北京)有限公司，其通訊地址為：100094 北京市海淀區豐豪東路9號院2號樓9層3單元901；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。