[发明专利]一种用于制造后处理器芯片验证的随机验证方法及装置

权利要求书

1.一种用于制造后处理器芯片验证的随机验证方法，其特征在于，所述方法包括下面的步骤：

S1：在指令模版中添加保留寄存器和保留内存地址相关的约束，用于屏蔽保留寄存器和保留内存地址不被生成的随机验证程序使用；

S2：增加寄存器初始化程序生成器、内存初始化程序生成器和指令计数器；

S3：改造随机程序生成引擎，去除原有的寄存器初始化文件生成机制和内存初始化文件生成机制，并改变原有指令序列产生终止条件；

S4：增加随机生成程序记录器、寄存器比较程序生成器和内存比较程序生成器；

S5：将运用所述步骤S1到步骤S4的用于制造后处理器芯片验证的随机指令生成方法后生成的文件转化为软件平台可调度的文件格式；

S6：指定所述步骤S1到步骤S4的用于制造后处理器芯片验证的随机指令生成方法中寄存器初始化程序生成器、内存初始化程序生成器、寄存器比较程序生成器以及内存比较程序生成器所生成的程序代码段以及随机生成的指令序列在内存中装载的起始位置；

S7：将所述步骤S5转化为软件平台可调度的文件格式的程序代码段以及随机生成的指令序列分别按照所述步骤S6中指定的起始位置装载进相应的内存地址中。

2.如权利要求1所述的方法，其特征在于，所述步骤S2中，指令计数器包含指令累加器和计数比较器两部分，指令累加器用于累加并统计生成的随机指令数目，计数比较器用于比较生成的随机指令数目是否达到指令模板要求的指令数目。

3.如权利要求1所述的方法，其特征在于，所述步骤S4中，随机生成程序记录器记录随机生成的指令序列的汇编代码段、二进制代码段、序列中每条指令对应的指令计数器的值以及每条指令对应的转换后援存储器页号。

4.如权利要求1所述的方法，其特征在于，所述步骤S4中，寄存器比较程序生成器生成寄存器比较程序代码，比较运行随机生成的指令序列后待验证处理器中除所述步骤1中保留寄存器外的所有寄存器值和指令级处理器模拟器的模拟结果中对应寄存器的值，结果一致则继续比较下一个寄存器，直到所有寄存器比较完毕，结果不一致则记录出错信息。

5.如权利要求1所述的方法，其特征在于，所述步骤S4中，内存比较程序生成器生成内存比较程序代码，把待验证处理器运行随机生成的指令序列后全部缓存的内容刷新到内存中，比较待验证处理器运行随机生成的指令序列后内存中内容发生过变化的地址对应的值与同样运行随机生成的指令序列后指令级处理器模拟器的模拟结果中相应内存地址保存的内容，结果全部一致则结束随机验证过程，结果不一致则记录出错信息。

6.如权利要求1所述的方法，其特征在于，所述步骤S6中，包括随机生成的指令序列在内的所有程序代码段都应装载在内存中用户态地址空间，且装载不同程序代码段的地址空间没有重叠。

7.一种用于制造后处理器芯片验证的随机验证装置，其特征在于，所述装置包括：

随机指令初始化模块，用于在指令模版中添加保留寄存器和保留内存地址相关的约束，以及增加寄存器初始化程序生成器、内存初始化程序生成器和指令计数器；

随机指令生成模块，用于改造随机程序生成引擎，去除原有的寄存器初始化文件生成机制和内存初始化文件生成机制，并改变原有指令序列产生终止条件；

随机指令记录比较模块，用于增加随机生成程序记录器、寄存器比较程序生成器和内存比较程序生成器；

平台装载模块，用于转化所述随机指令生成模块和所述随机指令记录比较模块生成的文件为软件平台可调度的文件格式，指定所述寄存器初始化程序生成器、内存初始化程序生成器、寄存器比较程序生成器以及内存比较程序生成器所生成的程序代码段以及随机生成的指令序列在内存中装载的起始位置，并按照所述起始位置分别装载被转化后的以软件平台可调度的文件为格式的程序代码段和指令文件。

8.如权利要求7所述的装置，其特征在于，所述指令计数器包含指令累加器和计数比较器两部分，指令累加器用于累加并统计生成的随机指令数目，计数比较器用于比较生成的随机指令数目是否达到指令模板要求的指令数目。

9.如权利要求7所述的装置，其特征在于，所述随机生成程序记录器记录随机生成的指令序列的汇编代码段、二进制代码段、序列中每条指令对应的指令计数器的值以及每条指令对应的转换后援存储器页号。