恭喜北京開源芯片研究院梁爽獲國家專利權
買專利賣專利找龍圖騰，真高效！ 查專利查商標用IPTOP,全免費！專利年費監控用IP管家,真方便！
龍圖騰網恭喜北京開源芯片研究院申請的專利總線驗證方法、裝置、電子設備及可讀存儲介質獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119397969B 。
龍圖騰網通過國家知識產權局官網在2025-04-18發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202411997230.X，技術領域涉及：G06F30/33；該發明授權總線驗證方法、裝置、電子設備及可讀存儲介質是由梁爽;楊華;唐丹;包云崗設計研發完成，并于2024-12-31向國家知識產權局提交的專利申請。
本總線驗證方法、裝置、電子設備及可讀存儲介質在說明書摘要公布了：本發明實施例提供了一種總線驗證方法、裝置、電子設備及可讀存儲介質。該方法包括：通過獲取待驗證總線的待驗證子文件；對所述待驗證子文件包含的字符進行解析，以將所述待驗證子文件轉換為目標驗證工具可識別的可識別文件；將所述可識別文件輸入至所述目標驗證工具中，以獲取所述待驗證總線的驗證結果。這樣，通過將待驗證總線的待驗證子文件解析為目標驗證工具可識別的可識別文件，可以通過目標驗證工具對待驗證總線進行驗證，從而通過自動化的解析建模和驗證，可以實現自動化的總線驗證流程，減少人工干預，提高驗證效率。
本發明授權總線驗證方法、裝置、電子設備及可讀存儲介質在權利要求書中公布了：1.一種總線驗證方法，其特征在于，所述方法包括：獲取待驗證總線的待驗證子文件；所述待驗證總線為CHI總線；基于預設映射規則，將所述待驗證子文件包含的字符映射為二進制元素；基于所述二進制元素生成抽象語法樹，并根據所述抽象語法樹包含的各節點的節點信息，獲取所述抽象語法樹中的并發結構、同步結構以及通信結構；分別將所述并發結構、同步結構以及通信結構映射為可執行結構；基于所述可執行結構生成可執行代碼文件；獲取包含待驗證屬性的約束文件；所述待驗證屬性是基于所述待驗證總線的緩存策略設置的；基于所述約束文件以及所述可執行代碼文件，生成目標驗證工具可識別的可識別文件；將所述可識別文件輸入至所述目標驗證工具中，以獲取所述待驗證總線的驗證結果。
如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人北京開源芯片研究院，其通訊地址為：100084 北京市海淀區海淀大街31號3層312；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。
免責聲明
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
1、本報告根據公開、合法渠道獲得相關數據和信息，力求客觀、公正，但并不保證數據的最終完整性和準確性。
2、報告中的分析和結論僅反映本公司于發布本報告當日的職業理解，僅供參考使用，不能作為本公司承擔任何法律責任的依據或者憑證。
開放平臺
擔保交易
惠及多方
會員特惠
專屬平臺
適合多方
數據共享
功能齊全
皖公網安備 34010402703815號