沐曦集成電路(上海)股份有限公司高衛獲國家專利權
買專利賣專利找龍圖騰,真高效! 查專利查商標用IPTOP,全免費!專利年費監控用IP管家,真方便!
龍圖騰網獲悉沐曦集成電路(上海)股份有限公司申請的專利一種隨機異步輸入的驗證方法、電子設備及存儲介質獲國家發明授權專利權,本發明授權專利權由國家知識產權局授予,授權公告號為:CN120387407B 。
龍圖騰網通過國家知識產權局官網在2025-08-29發布的發明授權授權公告中獲悉:該發明授權的專利申請號/專利號為:202510876935.4,技術領域涉及:G06F30/33;該發明授權一種隨機異步輸入的驗證方法、電子設備及存儲介質是由高衛設計研發完成,并于2025-06-27向國家知識產權局提交的專利申請。
本一種隨機異步輸入的驗證方法、電子設備及存儲介質在說明書摘要公布了:本發明涉及芯片設計技術領域,特別是涉及一種隨機異步輸入的驗證方法、電子設備及存儲介質,其通過獲取為驗證平臺配置的異步事件測試用例;在待驗設計初始化之后,使能異步輸入;在所述待驗設計的仿真階段,為每個異步事件的無限循環進程創建獨立線程;每個異步事件的無限循環進程根據所述隨機時間持續不斷地向所述待驗設計隨機注入綁定的異步事件激勵信號,所述待驗設計根據預設邏輯對所述異步事件激勵信號做出響應;在所述待驗設計的仿真階段完成時,關閉異步輸入;檢查所述待驗設計的驗證環境;達到隨機注入異步事件,充分驗證各種場景;并通過在仿真階段前后使能和關閉異步輸入,避免在整個仿真時間內注入而引起的各種異常假出錯。
本發明授權一種隨機異步輸入的驗證方法、電子設備及存儲介質在權利要求書中公布了:1.一種隨機異步輸入的驗證方法,其特征在于,所述方法包括如下步驟: 獲取為驗證平臺配置的異步事件測試用例asy,所述asy={asy1,asy2,…,asyi,…,asyN},asyi為第i個異步事件的無限循環進程,i的取值范圍為1到N;其中asyi包括用于生成隨機時間的隨機生成器radi,以及基于所述隨機時間動態生成且觸發的異步事件激勵信號stimi; 在待驗設計初始化之后,使能異步輸入; 在所述待驗設計的仿真階段,為每個異步事件的無限循環進程創建獨立線程;每個異步事件的無限循環進程根據所述隨機時間持續不斷地向所述待驗設計隨機注入綁定的異步事件激勵信號,所述待驗設計根據預設邏輯對所述異步事件激勵信號做出響應;其中,asyi隨機注入綁定的異步事件激勵信號的步驟包括:radi在每個循環進程中隨機生成一個隨機時間ti;在到達ti時,將stimi施加到所述待驗設計上; 在所述待驗設計的仿真階段完成時,關閉異步輸入; 檢查所述待驗設計的驗證環境。
如需購買、轉讓、實施、許可或投資類似專利技術,可聯系本專利的申請人或專利權人沐曦集成電路(上海)股份有限公司,其通訊地址為:201203 上海市浦東新區中國(上海)自由貿易試驗區郭守敬路498號8幢19號樓3層;或者聯系龍圖騰網官方客服,聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
1、本報告根據公開、合法渠道獲得相關數據和信息,力求客觀、公正,但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解,僅供參考使用,不能作為本公司承擔任何法律責任的依據或者憑證。