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

龍圖騰網恭喜無錫江南計算技術研究所申請的專利基于數據路徑約束求解的隨機指令測試程序生成方法獲國家發明授權專利權，本發明授權專利權由國家知識產權局授予，授權公告號為：CN114564396B 。

龍圖騰網通過國家知識產權局官網在2025-05-27發布的發明授權授權公告中獲悉：該發明授權的專利申請號/專利號為：202210185468.7，技術領域涉及：G06F11/3668；該發明授權基于數據路徑約束求解的隨機指令測試程序生成方法是由譚堅;劉鑫;陳德訓;王麗一;陳磊;吳臻;曹陳煒設計研發完成，并于2022-02-28向國家知識產權局提交的專利申請。

本基于數據路徑約束求解的隨機指令測試程序生成方法在說明書摘要公布了：本發明公開一種基于數據路徑約束求解的隨機指令測試程序生成方法，包括以下步驟：S1、循環讀取基于約束求解的隨機指令序列文件，每次讀取一行，若為空則跳轉至S7；S2、根據S1中讀取的內容，解析指令格式，獲取指令名稱以及指令格式中每一個操作數的類型；S3、隨機讀取與S2中解析的指令對應的數據路徑約束求解結果文件，獲取一組基于數據路徑約束的驗證元組數據；S4、將S3中獲取的驗證元組數據按照對界要求預先存儲到局存空間中；S5、根據S1中自隨機指令序列文件讀取的當前隨機指令；S6、跳轉至S1繼續讀取指令序列進行解析；S7、生成結果校驗代碼。本發明可以提升隨機指令測試的有效性。

本發明授權基于數據路徑約束求解的隨機指令測試程序生成方法在權利要求書中公布了：1.一種基于數據路徑約束求解的隨機指令測試程序生成方法，其特征在于，包括以下步驟：S1、循環讀取基于約束求解的隨機指令序列文件，每次讀取一行，若為空則跳轉至S7；S2、根據S1中讀取的內容，解析指令格式，獲取指令名稱以及指令格式中每一個操作數存放方式，如果操作數存放在寄存器中，則需要進一步解析出寄存器的類型是標量寄存器還是向量寄存器；S3、隨機讀取與步驟S2解析的指令對應的數據路徑約束求解結果文件，獲取一組基于數據路徑約束的驗證元組數據；S4、將S3中獲取的驗證元組數據按照對界要求預先存儲到局存空間中，即在前一次局存地址的基礎上，如果當前處理的指令包含向量寄存器，則將局存地址向后偏移，確保局存首地址64B對界，具體為：如果該指令格式中正在處理的輸入操作數來自向量寄存器，則將數據存儲到局存空間中，然后將局存地址偏移64B；如果該指令格式中正在處理的輸入操作數來自標量寄存器，則將數據存儲到局存空間中，然后將局存地址偏移8B；如果該指令格式中正在處理的輸入操作數為立即數，則不存儲到局存中；處理結果操作數，將結果操作數存儲在專門用于存儲結果操作數的局存地址addr_check中；S5、根據S1中從隨機指令序列文件讀取的當前隨機指令，結合指令格式中操作數的類型方式進行區分處理，流程如下：S51、如果當前處理的輸入操作數來自向量寄存器，則采用向量加載指令將數據加載到當前指令使用到的寄存器中；如果當前處理的輸入操作數來自標量寄存器，則采用標量加載指令將數據加載到相應的寄存器中；S52、采用S51中的處理原則，處理生成訪存加載指令，再將當前指令的結果操作數存儲到指定的局存空間中；S6、跳轉至S1繼續讀取指令序列進行解析；S7、生成結果校驗代碼：根據S4、S5的處理過程，將處理器指令計算結果以及指令驗證元組數據的結果數據，分別存儲在局存空間中的不同位置，互不交疊；再采用計算結果與驗證數據對應局存空間數據直接比較的方式，校驗是否一致：一致則結果正確，不一致則報錯。

如需購買、轉讓、實施、許可或投資類似專利技術，可聯系本專利的申請人或專利權人無錫江南計算技術研究所，其通訊地址為：214038 江蘇省無錫市濱湖區山水東路699號；或者聯系龍圖騰網官方客服，聯系龍圖騰網可撥打電話0551-65771310或微信搜索“龍圖騰網”。