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

摘要

本发明公开了一种用于制造后处理器芯片验证的随机验证方法及装置。方法包括如下步骤：在指令模版中添加保留寄存器和保留内存地址相关的约束；增加寄存器初始化程序生成器、内存初始化程序生成器和指令计数器；改造随机程序生成引擎，去除原有的寄存器初始化文件生成机制和内存初始化文件生成机制，并改变原有指令序列产生终止条件；增加随机生成程序记录器、寄存器比较程序生成器和内存比较程序生成器；将运用前述用于制造后处理器芯片验证的随机指令生成方法后生成的文件转化为软件平台可调度的文件格式；指定不同程序代码段在内存中装载的起始位置；将转化为软件平台可调度的文件格式的程序代码段按照指定的起始位置装载进相应的内存地址中。

主权项

一种用于制造后处理器芯片验证的随机验证方法，其特征在于，所述方法包括下面的步骤：S1：在指令模版中添加保留寄存器和保留内存地址相关的约束，用于屏蔽保留寄存器和保留内存地址不被生成的随机验证程序使用；S2：增加寄存器初始化程序生成器、内存初始化程序生成器和指令计数器；S3：改造随机程序生成引擎，去除原有的寄存器初始化文件生成机制和内存初始化文件生成机制，并改变原有指令序列产生终止条件；S4：增加随机生成程序记录器、寄存器比较程序生成器和内存比较程序生成器；S5：将运用所述步骤S1到步骤S4的用于制造后处理器芯片验证的随机指令生成方法后生成的文件转化为软件平台可调度的文件格式；S6：指定所述步骤S1到步骤S4的用于制造后处理器芯片验证的随机指令生成方法中寄存器初始化程序生成器、内存初始化程序生成器、寄存器比较程序生成器以及内存比较程序生成器所生成的程序代码段以及随机生成的指令序列在内存中装载的起始位置；S7：将所述步骤S5转化为软件平台可调度的文件格式的程序代码段以及随机生成的指令序列分别按照所述步骤S6中指定的起始位置装载进相应的内存地址中。