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

摘要

本发明提供了一种微处理器指令集验证方法，将监控程序加载到微处理器中；对微处理器支持的指令集分类，将需要验证的指令嵌入到代码框架中；遍历每组参数按生成验证的指令，嵌入到验证代码框架中；将验证代码框架加载到微处理器中，查询微处理器验证结束协议字，将执行结果和指令执行的期望结果比较，结果正确，将比较结果记录到日志文件中，否则，输出错误信息，并记录到日志文件。本发明避免了通过分析仿真波形才能判断指令执行真确性的弊端，实现了自动、高效率的验证。

主权项

一种微处理器指令集验证方法，其特征在于包括下述步骤：步骤1、将监控程序加载到微处理器中，并启动微处理器运行监控程序；步骤2、对微处理器支持的指令集分类，每一类指令由一组参数确定，针对每一类指令，设计一个指令验证的代码框架，将需要验证的指令或指令序列嵌入到这个代码框架中；步骤3、对每组参数按照取指范围遍历取值，根据每组参数值的组合，生成验证的指令或指令序列，并将这个指令或指令序列嵌入到步骤2的验证代码框架中；步骤4、将验证代码框架加载到微处理器中，并发送协议字给微处理器上的监控程序，使微处理器转入到验证代码框架的执行；步骤5、查询微处理器验证结束协议字，如果验证代码执行结束，将执行结果读出；否则，继续查询；步骤6、将步骤5的执行结果和指令执行的期望结果比较，结果正确，将比较结果记录到日志文件中，转步骤2，继续遍历验证；否则，输出错误信息，并记录到日志文件。