【技术实现步骤摘要】
本专利技术涉及计算机，尤其涉及一种随机指令流执行验证方法、装置及电子设备。
技术介绍
1、随着超大规模集成电路工艺的发展，现代处理器的结构越来越复杂，在单独一个处理器上集成的功能越来越多。大部分处理器的验证都会涉及到随机指令的验证，因此随机指令的验证在现代处理器验证领域具有重要的地位。
2、现有技术中，随机指令的具体如下特征：指令规模数庞大、指令中可能出现执行结果的不确定性、芯片验证的时间成本导致指令验证要具有高效率性。基于上述随机指令的三大特征，如何快速、准确地验证随机指令流执行正确性就特别地重要。
技术实现思路
1、有鉴于此，本专利技术提供了一种随机指令流执行验证方法、装置及电子设备，能够提高随机指令流执行正确性验证的效率。
2、第一方面，本专利技术提供一种随机指令流执行验证方法，应用于控制机，所述控制机与测试机连接，所述随机指令流执行验证方法包括：
3、生成第一可执行指令文件，所述第一可执行指令文件包括第一随机指令流、第一校验值计算指令、校验值对比指令以及至少一个参考校验值，其中所述参考校验值是由参考机执行第二随机指令流和第二校验值计算指令后生成的，所述第二随机指令流与所述第一随机指令流的指令内容相同，所述第二校验值计算指令与所述第一校验值计算指令的指令内容相同，且所述参考机具有与所述测试机相同的运行环境；
4、将所述第一可执行指令文件发送至测试机，使得所述测试机执行所述第一随机指令流，以生成所述第一随机指令流的执行结果；执行所
5、可选地，所述生成第一可执行指令文件，包括：
6、生成随机指令片段；
7、在所述随机指令片段后插入校验值计算汇编指令，通过编译得到第二可执行指令文件，所述第二可执行指令文件包括第二随机指令流和第二校验值计算指令，其中所述随机指令片段编译为所述第二随机指令流，所述校验值计算汇编指令编译为所述第二校验值计算指令；
8、将所述第二可执行指令文件发送至参考机，使得所述参考机执行所述第二可执行指令文件，生成至少一个参考校验值；
9、从所述参考机获取到所述参考校验值；
10、将所述参考校验值插入所述随机指令片段的数据段；
11、在带有参考校验值的随机指令片段后依次插入所述校验值计算汇编指令和校验值对比汇编指令，通过编译得到第一可执行指令文件，其中所述带有参考校验值的随机指令片段编译为所述第一随机指令流和所述参考校验值，所述校验值计算汇编指令编译为所述第一校验值计算指令，所述校验值对比汇编指令编译为所述校验值对比指令。
12、可选地，所述校验值计算汇编指令包括以下信息：采用的校验算法、迭代计算次数和选定的现场。
13、可选地，其中采用的校验算法包括奇偶校验和哈希校验中的任意一种。
14、可选地，其中选定的现场包括寄存器、目标内存和cache的一种或多种。
15、第二方面，本专利技术提供一种随机指令流执行验证方法，应用于测试机，所述测试机与控制机连接，所述随机指令流执行验证方法包括：
16、接收来自所述控制机的第一可执行指令文件，所述第一可执行指令文件包括第一随机指令流、第一校验值计算指令、校验值对比指令以及至少一个参考校验值，其中所述参考校验值是由参考机执行第二随机指令流和第二校验值计算指令后生成的，所述第二随机指令流与所述第一随机指令流的指令内容相同，所述第二校验值计算指令与所述第一校验值计算指令的指令内容相同，且所述参考机具有与所述测试机相同的运行环境；
17、执行所述第一随机指令流，以生成所述第一随机指令流的执行结果；
18、执行所述第一校验值计算指令，以根据所述第一随机指令流的执行结果生成至少一个测试校验值；
19、执行所述校验值对比指令，以将所述测试校验值和所述参考校验值进行对比，根据对比结果验证所述第一随机指令流是否执行正确，并输出验证结果。
20、第三方面，本专利技术提供一种随机指令流执行验证装置，应用于控制机，所述控制机与测试机连接，所述随机指令流执行验证装置包括：
21、可执行文件生成模块，用于生成第一可执行指令文件，所述第一可执行指令文件包括第一随机指令流、第一校验值计算指令、校验值对比指令以及至少一个参考校验值，其中所述参考校验值是由参考机执行第二随机指令流和第二校验值计算指令后生成的，所述第二随机指令流与所述第一随机指令流的指令内容相同，所述第二校验值计算指令与所述第一校验值计算指令的指令内容相同，且所述参考机具有与所述测试机相同的运行环境；
22、发送模块，用于将所述第一可执行指令文件发送至测试机，使得所述测试机执行所述第一随机指令流，以生成所述第一随机指令流的执行结果；执行所述第一校验值计算指令，以根据所述第一随机指令流的执行结果生成至少一个测试校验值；执行所述校验值对比指令，以将所述测试校验值和所述参考校验值进行对比，根据对比结果验证所述第一随机指令流是否执行正确，并输出验证结果。
23、可选地，所述可执行文件生成模块，具体用于：
24、生成随机指令片段；
25、在所述随机指令片段后插入校验值计算汇编指令，通过编译得到第二可执行指令文件，所述第二可执行指令文件包括第二随机指令流和第二校验值计算指令，其中所述随机指令片段编译为所述第二随机指令流，所述校验值计算汇编指令编译为所述第二校验值计算指令；
26、将所述第二可执行指令文件发送至参考机，使得所述参考机执行所述第二可执行指令文件，生成至少一个参考校验值；
27、从所述参考机获取到所述参考校验值；
28、将所述参考校验值插入所述随机指令片段的数据段；
29、在带有参考校验值的随机指令片段后依次插入所述校验值计算汇编指令和校验值对比汇编指令，通过编译得到第一可执行指令文件，其中所述带有参考校验值的随机指令片段编译为所述第一随机指令流和参考校验值，所述校验值计算汇编指令编译为所述第一校验值计算指令，所述校验值对比汇编指令编译为所述校验值对比指令。
30、第四方面，本专利技术提供一种随机指令流执行验证装置，应用于测试机，所述测试机与控制机连接，所述随机指令流执行验证装置包括：
31、接收模块，用于接收来自所述控制机的第一可执行指令文件，所述第一可执行指令文件包括第一随机指令流、第一校验值计算指令、校验值对比指令以及至少一个参考校验值，其中所述参考校验值是由参考机执行第二随机指令流和第二校验值计算指令后生成的，所述第二随机指令流与所述第一随机指令流的指令内容相同，所述第二校验值计算指令与所述第一校验值计算指令的指令内容相同，且所述参考机具有与所述测试机相同的运行环境；<本文档来自技高网...
【技术保护点】
1.一种随机指令流执行验证方法，其特征在于，应用于控制机，所述控制机与测试机连接，所述随机指令流执行验证方法包括：
2.根据权利要求1所述的随机指令流执行验证方法，其特征在于，所述生成第一可执行指令文件，包括：
3.根据权利要求2所述的随机指令流执行验证方法，其特征在于，所述校验值计算汇编指令包括以下信息：采用的校验算法、迭代计算次数和选定的现场。
4.根据权利要求3所述的随机指令流执行验证方法，其特征在于，其中采用的校验算法包括奇偶校验和哈希校验中的任意一种。
5.根据权利要求3所述的随机指令流执行验证方法，其特征在于，其中选定的现场包括寄存器、目标内存和Cache的一种或多种。
6.一种随机指令流执行验证方法，其特征在于，应用于测试机，所述测试机与控制机连接，所述随机指令流执行验证方法包括：
7.一种随机指令流执行验证装置，其特征在于，应用于控制机，所述控制机与测试机连接，所述随机指令流执行验证装置包括：
8.根据权利要求7所述的随机指令流执行验证装置，其特征在于，所述可执行文件生成模块，具体
9.一种随机指令流执行验证装置，其特征在于，应用于测试机，所述测试机与控制机连接，所述随机指令流执行验证装置包括：
10.一种电子设备，其特征在于，所述电子设备包括：
11.一种非暂态计算机可读存储介质，其特征在于，所述非暂态计算机可读存储介质存储计算机指令，所述计算机指令被执行时实现如权利要求1至5中任一项或者权利要求6所述的随机指令流执行验证方法。
...【技术特征摘要】
1.一种随机指令流执行验证方法，其特征在于，应用于控制机，所述控制机与测试机连接，所述随机指令流执行验证方法包括：
2.根据权利要求1所述的随机指令流执行验证方法，其特征在于，所述生成第一可执行指令文件，包括：
3.根据权利要求2所述的随机指令流执行验证方法，其特征在于，所述校验值计算汇编指令包括以下信息：采用的校验算法、迭代计算次数和选定的现场。
4.根据权利要求3所述的随机指令流执行验证方法，其特征在于，其中采用的校验算法包括奇偶校验和哈希校验中的任意一种。
5.根据权利要求3所述的随机指令流执行验证方法，其特征在于，其中选定的现场包括寄存器、目标内存和cache的一种或多种。
6.一种随机指令流执行验证方法，其特征在于，应...
【专利技术属性】
技术研发人员：杨振，殷晓伟，吴敌，曾鑫澄，陈玉龙，张攀勇，肖涛，
申请(专利权)人：成都海光集成电路设计有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。