[发明专利]一种用于指令级随机验证的指令组合过滤方法及系统

权利要求书

1.一种用于指令级随机验证的指令组合过滤方法，其特征在于，包括：

步骤1，在指令模板中添加待过滤的指令组合相关的约束，该约束包括指令组合的类型定义；

步骤2，设置指令过滤器为先进先出的队列模式；

步骤3，如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令；

步骤2中，还在指令过滤器中加入单条和多条指令组合的比较逻辑；其中加入的单条指令比较逻辑和当前比较指令指示标记，组成指令过滤器中多条指令组合的比较逻辑；

步骤3中，还在指令过滤器中加入队列指令计数器和输出指令计数器；

步骤3中，在指令过滤器中加入队列头指示标记和队列尾指示标记；

步骤3包括：

步骤31，按照预先设置的规则对指令组合的类型定义进行排序；

步骤32，将进入指令过滤器的指令队列中的指令组合与指令组合的类型定义序列进行比较：如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令；

步骤33，指令级模拟器生成一个新的指令输入指令过滤器，并执行步骤32。

2.如权利要求1所述的用于指令级随机验证的指令组合过滤方法，其特征在于，所述约束还包括允许过滤的指令组合的数目以及允许过滤的指令组合的最大长度，允许过滤的指令组合的最大长度小于指令模板中定义的指令级随机验证允许生成的最大指令序列长度。

3.如权利要求1所述的用于指令级随机验证的指令组合过滤方法，其特征在于，指令过滤器的指令队列的长度为允许过滤的指令组合的最大长度，指令组合的类型定义为指令的操作码、存放操作数的寄存器以及立即数的任意组合。

4.如权利要求1所述的用于指令级随机验证的指令组合过滤方法，其特征在于，步骤3中，队列指令计数器在指令过滤器队列中每进入一条指令时加1，在输出一条指令或者删除一条指令时减1，输出指令计数器在指令过滤器队列中每输出一条指令时加1。

5.如权利要求1所述的用于指令级随机验证的指令组合过滤方法，其特征在于，步骤3中，队列头指示标记指示最先进入指令过滤器队列并存储在指令过滤器队列中的指令，队列尾指示标记指示最晚进入指令过滤器队列并存储在指令过滤器队列中的指令。

6.一种用于指令级随机验证的指令组合过滤系统，包括指令模板和指令过滤器，其特征在于，

指令模板，用于保存待过滤的指令组合相关的约束，该约束包括指令组合的类型定义，指令组合的类型定义为指令的操作码、存放操作数的寄存器以及立即数的任意组合；

指令过滤器被设置为先进先出的队列模式，用于在进入指令过滤器的指令队列中的指令组合与所述约束匹配时，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令；

指令过滤器中加入单条和多条指令组合的比较逻辑；其中加入的单条指令比较逻辑和当前比较指令指示标记，组成指令过滤器中多条指令组合的比较逻辑；

指令过滤器中还加入队列指令计数器和输出指令计数器；

指令过滤器中还加入队列头指示标记和队列尾指示标记；

指令过滤器，还用于按照预先设置的规则对指令组合的类型定义进行排序，并将进入指令过滤器的指令队列中的指令组合与指令组合的类型定义序列进行比较：如果进入指令过滤器的指令队列中的指令组合与所述约束匹配，则删除最先进入指令过滤器的指令队列的指令，否则输出最先进入指令过滤器的指令队列的指令。

7.如权利要求6所述的用于指令级随机验证的指令组合过滤系统，其特征在于，所述约束还包括允许过滤的指令组合的数目以及允许过滤的指令组合的最大长度，允许过滤的指令组合的最大长度小于指令模板中定义的指令级随机验证允许生成的最大指令序列长度。

8.如权利要求6所述的用于指令级随机验证的指令组合过滤系统，其特征在于，指令过滤器的指令队列的长度为允许过滤的指令组合的最大长度。

9.如权利要求6所述的用于指令级随机验证的指令组合过滤系统，其特征在于，队列指令计数器在指令过滤器队列中每进入一条指令时加1，在输出一条指令或者删除一条指令时减1，输出指令计数器在指令过滤器队列中每输出一条指令时加1。

10.如权利要求6所述的用于指令级随机验证的指令组合过滤系统，其特征在于，队列头指示标记指示最先进入指令过滤器队列并存储在指令过滤器队列中的指令，队列尾指示标记指示最晚进入指令过滤器队列并存储在指令过滤器队列中的指令。