[發明專利]微處理器指令集驗證方法

有效

• 申請號: 201210362231.8
• 申請日: 2012-09-26
• 公開（公告）號: CN102902906A
• 公開（公告）日: 2013-01-30
• 發明（設計）人: 曹輝;楊靚;盧強;何衛強
• 申請（專利權）人: 中國航天科技集團公司第九研究院第七七一研究所
• 主分類號: G06F21/44
• 分類號: G06F21/44;G06F9/46
• 代理公司: 西北工業大學專利中心 61204
• 代理人: 顧潮琪

1.一種微處理器指令集驗證方法，其特征在于包括下述步驟：

步驟1、將監控程序加載到微處理器中，并啟動微處理器運行監控程序；

步驟2、對微處理器支持的指令集分類，每一類指令由一組參數確定，針對每一類指令，設計一個指令驗證的代碼框架，將需要驗證的指令或指令序列嵌入到這個代碼框架中；

步驟3、對每組參數按照取指范圍遍歷取值，根據每組參數值的組合，生成驗證的指令或指令序列，并將這個指令或指令序列嵌入到步驟2的驗證代碼框架中；

步驟4、將驗證代碼框架加載到微處理器中，并發送協議字給微處理器上的監控程序，使微處理器轉入到驗證代碼框架的執行；

步驟5、查詢微處理器驗證結束協議字，如果驗證代碼執行結束，將執行結果讀出；否則，繼續查詢；

步驟6、將步驟5的執行結果和指令執行的期望結果比較，結果正確，將比較結果記錄到日志文件中，轉步驟2，繼續遍歷驗證；否則，輸出錯誤信息，并記錄到日志文件。

2.根據權利要求1所述的微處理器指令集驗證方法，其特征在于：所述的監控程序按以下步驟操作：

步驟1-1、查詢驗證代碼框架加載結束協議字，如果協議字有效，轉步驟1-2；否則繼續查詢；

步驟1-2、跳轉至驗證代碼框架，執行指令驗證代碼；

步驟1-3、驗證代碼執行結束，置驗證結束協議字，并跳轉到步驟1-2，繼續下一次驗證的查詢。

3.根據權利要求1所述的微處理器指令集驗證方法，其特征在于：所述的指令驗證代碼框架按以下步驟設計：

步驟2-1、根據指令的分類，確定驗證該類指令所需要的參數，并根據參數，生成指令序列A，通過執行指令序列A準備好當前指令驗證的微處理器的狀態；

步驟2-2、根據參數生成當前被驗證的指令B，將指令B添加到序列A之后，生成序列A&B；

步驟2-3、在序列A&B之后添加一段保護指令B執行結果的指令序列C。