[发明专利]生成检测指令序列的方法和装置

摘要

本发明提供一种生成检测指令序列的方法和装置，涉及指令随机验证领域，该方法包括生成至少两个源指令组，将指令划分到对应的源指令组中；根据第一提取信息为每条指令生成对应的至少一个指令簇；从源指令组中选择出目标指令组放入指令组候选队列中；从指令组候选队列中随机选择目标指令组移出指令组候选队列；根据上下文从移出的目标指令组中选取可生成的指令簇，并将可生成的指令簇放入指令簇候选队列；从指令簇候选队列中随机选择一个可生成的指令簇移出指令簇候选队列；根据移出的指令簇中包含的指令槽个数以及指令槽的指令选择范围生成检验指令序列。从而提高了选择检验指令序列的过程，进一步的加快了通过随机指令检测指令集架构的效率。

主权项

一种生成检测指令序列的方法，其特征在于，包括：生成至少两个源指令组，并将指令划分到对应的源指令组中；根据第一提取信息为每条指令生成对应的至少一个指令簇，每个所述指令簇包含至少一个指令槽以及每个指令槽的指令选择范围；其中，所述第一提取信息为处理器配置文件包含的信息；从所述至少两个源指令组中选择出至少一个目标指令组放入指令组候选队列中，所述目标指令组为所述至少两个源指令组中可生成的源指令组；从指令组候选队列中随机选择一个目标指令组移出所述指令组候选队列；根据上下文从移出的目标指令组中选取可生成的指令簇，并将所述可生成的指令簇放入指令簇候选队列；其中，所述上下文包括寄存器的内容、内存的内容和已生成的历史指令；从所述指令簇候选队列中随机选择一个所述可生成的指令簇移出所述指令簇候选队列；根据移出的指令簇中包含的指令槽个数以及指令槽的指令选择范围生成检验指令序列。