[发明专利]微处理器指令集验证方法

权利要求书

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。