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

龍圖騰網獲悉北京中科昊芯科技有限公司申請的專利一種指令驗證方法、裝置、電子設備及存儲介質獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN119201695B 。

龍圖騰網通過國家知識產權局官網在2025-09-05發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202411225280.6，技術領域涉及：G06F11/3668；該發明授權一種指令驗證方法、裝置、電子設備及存儲介質是由于明舜;石欣宇;劉碩設計研發完成，并于2024-09-03向國家知識產權局提交的專利申請。

本一種指令驗證方法、裝置、電子設備及存儲介質在說明書摘要公布了：本申請實施例提供一種指令驗證方法、裝置、電子設備及存儲介質，該方法包括：獲取待驗證指令集；對待驗證指令集分別進行定向測試和隨機測試，得到與待驗證指令集對應的匯編文件；采用預設仿真軟件和與待驗證指令集對應的匯編文件，確定與待驗證指令集對應的驗證結果，本申請實施例中，通過對待驗證指令集進行定向測試和隨機測試，其中，定向測試用于對集中的特殊功能進行測試，隨機驗證方式可以對循環深度、循環次數、循環體內的指令進行隨機驗證，本申請提供的指令驗證方式具備良好的擴展性和復用性，能夠滿足將來循環指令循環次數、循環深度等調整帶來的相關驗證系統升級的需求。

本發明授權一種指令驗證方法、裝置、電子設備及存儲介質在權利要求書中公布了：1.一種指令驗證方法，其特征在于，所述方法包括： 獲取待驗證指令集，所述待驗證指令集為repeat循環指令集，該Repeat循環指令為硬件循環指令，該指令后的第一條指令是循環體的首條指令，loopend以偏移量的方式定義了循環體的末尾指令，循環寄存器定義了循環次數； 對所述待驗證指令集分別進行定向測試和隨機測試，得到與所述待驗證指令集對應的匯編文件； 采用預設仿真軟件和與所述待驗證指令集對應的匯編文件，確定與所述待驗證指令集對應的驗證結果；所述對所述待驗證指令集進行定向測試，包括： 采用預設定向測試用例，對所述待驗證指令集的預設功能進行驗證，其中，所述待驗證指令集的預設功能至少包括循環體中是否包括分支指令，所述循環體是否觸發中斷，以及邊界測試，所述邊界測試至少包括循環次數最大值、循環次數最小值、循環深度最大值和循環深度最小值中的一種或多種； 所述對所述待驗證指令集進行隨機測試，包括： 對所述待驗證指令集中的各個指令函數進行測試，得到測試結果； 將所述測試結果和與所述指令函數對應的預設驗證結果進行比較，得到比較結果； 將所述測試結果、所述預設驗證結果和所述比較結果，保存在匯編文件中。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人北京中科昊芯科技有限公司，其通訊地址為：100083 北京市海淀區中關村東路18號18層A-1808；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。