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

龍圖騰網(wǎng)恭喜北京開源芯片研究院申請的專利總線驗證方法、裝置、電子設(shè)備及可讀存儲介質(zhì)獲國家發(fā)明授權(quán)專利權(quán)，本發(fā)明授權(quán)專利權(quán)由國家知識產(chǎn)權(quán)局授予，授權(quán)公告號為：CN119397969B 。

龍圖騰網(wǎng)通過國家知識產(chǎn)權(quán)局官網(wǎng)在2025-04-18發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉：該發(fā)明授權(quán)的專利申請?zhí)?專利號為：202411997230.X，技術(shù)領(lǐng)域涉及：G06F30/33；該發(fā)明授權(quán)總線驗證方法、裝置、電子設(shè)備及可讀存儲介質(zhì)是由梁爽;楊華;唐丹;包云崗設(shè)計研發(fā)完成，并于2024-12-31向國家知識產(chǎn)權(quán)局提交的專利申請。

本總線驗證方法、裝置、電子設(shè)備及可讀存儲介質(zhì)在說明書摘要公布了：本發(fā)明實施例提供了一種總線驗證方法、裝置、電子設(shè)備及可讀存儲介質(zhì)。該方法包括：通過獲取待驗證總線的待驗證子文件；對所述待驗證子文件包含的字符進行解析，以將所述待驗證子文件轉(zhuǎn)換為目標驗證工具可識別的可識別文件；將所述可識別文件輸入至所述目標驗證工具中，以獲取所述待驗證總線的驗證結(jié)果。這樣，通過將待驗證總線的待驗證子文件解析為目標驗證工具可識別的可識別文件，可以通過目標驗證工具對待驗證總線進行驗證，從而通過自動化的解析建模和驗證，可以實現(xiàn)自動化的總線驗證流程，減少人工干預(yù)，提高驗證效率。

本發(fā)明授權(quán)總線驗證方法、裝置、電子設(shè)備及可讀存儲介質(zhì)在權(quán)利要求書中公布了：1.一種總線驗證方法，其特征在于，所述方法包括：獲取待驗證總線的待驗證子文件；所述待驗證總線為CHI總線；基于預(yù)設(shè)映射規(guī)則，將所述待驗證子文件包含的字符映射為二進制元素；基于所述二進制元素生成抽象語法樹，并根據(jù)所述抽象語法樹包含的各節(jié)點的節(jié)點信息，獲取所述抽象語法樹中的并發(fā)結(jié)構(gòu)、同步結(jié)構(gòu)以及通信結(jié)構(gòu)；分別將所述并發(fā)結(jié)構(gòu)、同步結(jié)構(gòu)以及通信結(jié)構(gòu)映射為可執(zhí)行結(jié)構(gòu)；基于所述可執(zhí)行結(jié)構(gòu)生成可執(zhí)行代碼文件；獲取包含待驗證屬性的約束文件；所述待驗證屬性是基于所述待驗證總線的緩存策略設(shè)置的；基于所述約束文件以及所述可執(zhí)行代碼文件，生成目標驗證工具可識別的可識別文件；將所述可識別文件輸入至所述目標驗證工具中，以獲取所述待驗證總線的驗證結(jié)果。

如需購買、轉(zhuǎn)讓、實施、許可或投資類似專利技術(shù)，可聯(lián)系本專利的申請人或?qū)＠麢?quán)人北京開源芯片研究院，其通訊地址為：100084 北京市海淀區(qū)海淀大街31號3層312；或者聯(lián)系龍圖騰網(wǎng)官方客服，聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。