[发明专利]用于验证的寄存器随机方法、系统、设备以及存储介质

说明书

本公开提供一种用于验证的寄存器随机方法、系统、设备以及存储介质，该方法包括：根据待验证设备建立多个寄存器模块，多个寄存器模块中的每个包括一个或多个寄存器；设置多个寄存器模块中的每个的配置阶段；获取多个寄存器模块中的每个的配置阶段，得到配置阶段集合；串行地对配置阶段集合中至少一部分的配置阶段进行选择，分别随机至少一部分的配置阶段中的每个当前被选择的配置阶段对应的寄存器模块的寄存器。本公开的寄存器随机方法通过引入有关寄存器的配置阶段的机制，从而实现串行随机，随机效率提升，可以节约硬件资源，解决了随机困难的问题，调试更加容易，可移植性好。

技术领域

本公开的实施例涉及一种用于验证的寄存器随机方法、系统、设备以及存储介质。

背景技术

随着集成电路产业的快速发展，芯片的复杂度大大增加，相应寄存器的数量随之日趋庞大，寄存器的属性也越来越复杂，验证寄存器的完备性和高效性，成为验证人员迫切需要解决的问题。寄存器的增加对约束算法和迭代速度也提出更高的要求，使用传统验证方法已无法满足迭代周期和芯片验证难度的要求，与此同时，采用传统的验证方法实现的约束越来越复杂，需要的算法资源也越来越多，但是由于资源有限，容易导致会出现长时间随机解答不出的情况。

发明内容

本公开至少一实施例提供了一种用于验证的寄存器随机方法，包括：根据待验证设备建立多个寄存器模块，其中，所述多个寄存器模块中的每个包括一个或多个寄存器；设置所述多个寄存器模块中的每个的配置阶段；获取所述多个寄存器模块中的每个的配置阶段，得到配置阶段集合；串行地对所述配置阶段集合中至少一部分的配置阶段进行选择，分别随机所述至少一部分的配置阶段中的每个当前被选择的配置阶段对应的寄存器模块的寄存器。

例如，在本公开至少一实施例提供的一种寄存器随机方法中，设置所述多个寄存器模块中的每个的配置阶段，包括：在所述多个寄存器模块中的每个寄存器模块的每个当前寄存器的建立阶段，通过设置配置阶段变量记录所述当前寄存器的配置阶段，并且分别使同一所述寄存器模块中的每个寄存器具有相同的配置阶段。

例如，在本公开至少一实施例提供的一种寄存器随机方法中，获取所述多个寄存器模块中的每个的配置阶段，得到配置阶段集合，包括：通过设置静态关联数组记录所述多个寄存器模块中的每个的配置阶段；获取所述静态关联数组中被设置过的多个配置阶段，得到所述配置阶段集合。

例如，在本公开至少一实施例提供的一种寄存器随机方法中，所述至少一部分的配置阶段包括所述配置阶段集合中所有的配置阶段；或者，所述至少一部分的配置阶段包括：所述配置阶段集合中所有的配置阶段除去第一部分的配置阶段后剩余的第二部分的配置阶段，所述第一部分的配置阶段包括被配置为命令行输入模式或性能测试模式的至少一个第一寄存器模块对应的配置阶段。

例如，在本公开至少一实施例提供的一种寄存器随机方法中，所述配置阶段集合为根据所述多个配置阶段生成的数组队列。

例如，在本公开至少一实施例提供的一种寄存器随机方法中，响应于所述至少一部分的配置阶段包括所述配置阶段集合中所有的配置阶段，串行地对所述配置阶段集合中至少一部分的配置阶段进行选择，分别随机所述至少一部分的配置阶段中的每个当前被选择的配置阶段对应的寄存器模块的寄存器，包括：根据所述数组队列的长度，依序并串行地选择所述数组队列中的每个配置阶段，并分别随机所述数组队列中的每个当前被选择的配置阶段对应的寄存器模块的每个寄存器。

例如，在本公开至少一实施例提供的一种寄存器随机方法中，响应于所述配置阶段集合包括所述第一部分的配置阶段，所述寄存器随机方法还包括：在串行地对所述第二部分的配置阶段进行选择且分别随机所述第二部分的配置阶段中的每个当前被选择的配置阶段对应的寄存器模块的寄存器之前，直接将所述至少一个第一寄存器模块中的每个第一寄存器模块的寄存器分别约束配置为固定值。