恭喜北京開源芯片研究院張陽午獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網恭喜北京開源芯片研究院申請的專利片上系統驗證方法、裝置、電子設備及可讀存儲介質獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN119377030B 。
龍圖騰網通過國家知識產權局官網在2025-03-25發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202411986978.X,技術領域涉及:G06F11/263;該發明授權片上系統驗證方法、裝置、電子設備及可讀存儲介質是由張陽午;楊華;唐丹;包云崗設計研發完成,并于2024-12-31向國家知識產權局提交的專利申請。
本片上系統驗證方法、裝置、電子設備及可讀存儲介質在說明書摘要公布了:本申請提供了一種片上系統驗證方法、裝置、電子設備及計算機可讀存儲介質,通過獲取多個隨機激勵組件,以及與每個隨機激勵組件關聯的標簽,根據記錄的標簽獲得基礎激勵組件和隨機種子序列,并利用基礎激勵組件和隨機種子序列進行驗證失敗信號的復現。本申請通過對多個隨機激勵組件關聯標簽,使用標簽記錄隨機激勵組件所使用的隨機種子,根據記錄的標簽獲得基礎激勵組件和隨機種子序列通過對隨機激勵組件關聯的標簽的讀取,獲得組成隨機激勵組件中具體的隨機種子,使得在復現過程中可以根據標簽生成首次出現失敗信號時相同的隨機激勵組件,并利用基礎激勵組件和隨機種子序列進行驗證失敗信號的復現,使得復現失敗信號較為容易,提升驗證效率。
本發明授權片上系統驗證方法、裝置、電子設備及可讀存儲介質在權利要求書中公布了:1.一種片上系統驗證方法,其特征在于,所述方法包括:指定部分目標基礎激勵組件的標簽和目標隨機種子的標簽的映射關系,獲得所指定的所述目標基礎激勵的標簽和所述目標隨機種子的標簽,根據所述標簽的映射關系,得到結合函數;依次將基礎激勵組件的標簽帶入所述結合函數,得到帶有所述結合函數輸出的標簽的隨機種子;所述隨機種子根據所述結合函數輸出的標簽在隨機種子序列中選取;依次組合具有所述結合函數輸入的標簽基礎激勵組件和所述結合函數輸出的標簽的隨機種子,得到多個隨機激勵組件;獲取多個所述隨機激勵組件,以及與每個所述隨機激勵組件關聯的標簽;所述隨機激勵組件是由預設的基礎激勵組件和隨機種子序列中的隨機種子分別組合所得到的;所述隨機激勵組件關聯的標簽是通過所述基礎激勵組件的標簽和所述隨機種子的標簽組合得到的,所述標簽用于標記與每個隨機激勵組件對應的基礎激勵組件和隨機種子,不同隨機激勵組件關聯的標簽不同;所述隨機激勵組件的個數與所述隨機種子序列中的隨機種子的個數相同;在驗證平臺對片上系統的設計文件進行驗證的過程中,編譯并運行所述隨機激勵組件,得到驗證結果,并在所述驗證結果為驗證失敗信號時,記錄所運行的隨機激勵組件所對應的標簽;根據記錄的標簽獲得所述基礎激勵組件和隨機種子序列,并利用所述基礎激勵組件和隨機種子序列進行所述驗證失敗信號的復現。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人北京開源芯片研究院,其通訊地址為:100084 北京市海淀區海淀大街31號3層312;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。