[發(fā)明專利]一種用于指令級隨機驗證的指令組合過濾方法及系統(tǒng)

有效

• 申請?zhí)枺?/td>: 200910080077.3
• 申請日: 2009-03-18
• 公開（公告）號: CN101510234A
• 公開（公告）日: 2009-08-19
• 發(fā)明（設計）人: 沈海華;王朋宇;張珩
• 申請（專利權）人: 中國科學院計算技術研究所
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京律誠同業(yè)知識產(chǎn)權代理有限公司
• 代理人: 祁建國;梁 揮

1.一種用于指令級隨機驗證的指令組合過濾方法，其特征在于，包括：

步驟1，在指令模板中添加待過濾的指令組合相關的約束，該約束包括指令組合的類型定義；

步驟2，設置指令過濾器為先進先出的隊列模式；

步驟3，如果進入指令過濾器的指令隊列中的指令組合與所述約束匹配，則刪除最先進入指令過濾器的指令隊列的指令，否則輸出最先進入指令過濾器的指令隊列的指令；

步驟2中，還在指令過濾器中加入單條和多條指令組合的比較邏輯；其中加入的單條指令比較邏輯和當前比較指令指示標記，組成指令過濾器中多條指令組合的比較邏輯；

步驟3中，還在指令過濾器中加入隊列指令計數(shù)器和輸出指令計數(shù)器；

步驟3中，在指令過濾器中加入隊列頭指示標記和隊列尾指示標記；

步驟3包括：

步驟31，按照預先設置的規(guī)則對指令組合的類型定義進行排序；

步驟32，將進入指令過濾器的指令隊列中的指令組合與指令組合的類型定義序列進行比較：如果進入指令過濾器的指令隊列中的指令組合與所述約束匹配，則刪除最先進入指令過濾器的指令隊列的指令，否則輸出最先進入指令過濾器的指令隊列的指令；

步驟33，指令級模擬器生成一個新的指令輸入指令過濾器，并執(zhí)行步驟32。

2.如權利要求1所述的用于指令級隨機驗證的指令組合過濾方法，其特征在于，所述約束還包括允許過濾的指令組合的數(shù)目以及允許過濾的指令組合的最大長度，允許過濾的指令組合的最大長度小于指令模板中定義的指令級隨機驗證允許生成的最大指令序列長度。

3.如權利要求1所述的用于指令級隨機驗證的指令組合過濾方法，其特征在于，指令過濾器的指令隊列的長度為允許過濾的指令組合的最大長度，指令組合的類型定義為指令的操作碼、存放操作數(shù)的寄存器以及立即數(shù)的任意組合。

4.如權利要求1所述的用于指令級隨機驗證的指令組合過濾方法，其特征在于，步驟3中，隊列指令計數(shù)器在指令過濾器隊列中每進入一條指令時加1，在輸出一條指令或者刪除一條指令時減1，輸出指令計數(shù)器在指令過濾器隊列中每輸出一條指令時加1。

5.如權利要求1所述的用于指令級隨機驗證的指令組合過濾方法，其特征在于，步驟3中，隊列頭指示標記指示最先進入指令過濾器隊列并存儲在指令過濾器隊列中的指令，隊列尾指示標記指示最晚進入指令過濾器隊列并存儲在指令過濾器隊列中的指令。

6.一種用于指令級隨機驗證的指令組合過濾系統(tǒng)，包括指令模板和指令過濾器，其特征在于，

指令模板，用于保存待過濾的指令組合相關的約束，該約束包括指令組合的類型定義，指令組合的類型定義為指令的操作碼、存放操作數(shù)的寄存器以及立即數(shù)的任意組合；

指令過濾器被設置為先進先出的隊列模式，用于在進入指令過濾器的指令隊列中的指令組合與所述約束匹配時，則刪除最先進入指令過濾器的指令隊列的指令，否則輸出最先進入指令過濾器的指令隊列的指令；

指令過濾器中加入單條和多條指令組合的比較邏輯；其中加入的單條指令比較邏輯和當前比較指令指示標記，組成指令過濾器中多條指令組合的比較邏輯；

指令過濾器中還加入隊列指令計數(shù)器和輸出指令計數(shù)器；

指令過濾器中還加入隊列頭指示標記和隊列尾指示標記；

指令過濾器，還用于按照預先設置的規(guī)則對指令組合的類型定義進行排序，并將進入指令過濾器的指令隊列中的指令組合與指令組合的類型定義序列進行比較：如果進入指令過濾器的指令隊列中的指令組合與所述約束匹配，則刪除最先進入指令過濾器的指令隊列的指令，否則輸出最先進入指令過濾器的指令隊列的指令。

7.如權利要求6所述的用于指令級隨機驗證的指令組合過濾系統(tǒng)，其特征在于，所述約束還包括允許過濾的指令組合的數(shù)目以及允許過濾的指令組合的最大長度，允許過濾的指令組合的最大長度小于指令模板中定義的指令級隨機驗證允許生成的最大指令序列長度。

8.如權利要求6所述的用于指令級隨機驗證的指令組合過濾系統(tǒng)，其特征在于，指令過濾器的指令隊列的長度為允許過濾的指令組合的最大長度。

9.如權利要求6所述的用于指令級隨機驗證的指令組合過濾系統(tǒng)，其特征在于，隊列指令計數(shù)器在指令過濾器隊列中每進入一條指令時加1，在輸出一條指令或者刪除一條指令時減1，輸出指令計數(shù)器在指令過濾器隊列中每輸出一條指令時加1。

10.如權利要求6所述的用于指令級隨機驗證的指令組合過濾系統(tǒng)，其特征在于，隊列頭指示標記指示最先進入指令過濾器隊列并存儲在指令過濾器隊列中的指令，隊列尾指示標記指示最晚進入指令過濾器隊列并存儲在指令過濾器隊列中的指令。