[发明专利]一种硬件设计验证方法、装置及电子设备和存储介质

权利要求书

1.一种硬件设计验证方法，其特征在于，包括：

确定目标硬件设计，并获取所述目标硬件设计的寄存器规范和测试序列规范；

基于所述寄存器规范生成所述目标硬件设计的寄存器模型，基于所述测试序列规范生成所述目标硬件设计的测试序列；

利用所述测试序列控制所述寄存器模型，以对所述目标硬件设计进行验证。

2.根据权利要求1所述硬件设计验证方法，其特征在于，所述寄存器规范包括寄存器名称、寄存器位宽、寄存器合法字段值、字段存取方式、复位值、是否支持随机化中任一项或任几项的组合。

3.根据权利要求1所述硬件设计验证方法，其特征在于，基于状态机表示所述测试序列规范，所述状态机中的每个状态表示所述目标硬件设计中的功能块，所述状态中包含相关寄存器变成序列。

4.根据权利要求3所述硬件设计验证方法，

其特征在于，通过有向无环图实现所述状态机。

5.根据权利要求1所述硬件设计验证方法，其特征在于，所述利用所述测试序列控制所述寄存器模型，包括：

在测试层建立所述测试序列与所述寄存器模型的链接，以利用所述测试序列控制所述寄存器模型中寄存器的读写操作和顺序。

6.根据权利要求1所述硬件设计验证方法，其特征在于，所述基于所述测试序列规范生成所述目标硬件设计的测试序列之后，还包括：

确定所述目标硬件设计的验证环境对应的验证等级；

基于所述验证等级选择对应层次的测试序列。

7.根据权利要求1至6中任一项所述硬件设计验证方法，其特征在于，所述利用所述测试序列控制所述寄存器模型之前，还包括：

在配置数据库中配置所述目标硬件设计对应的配置对象，以配置所述寄存器模型中不同寄存器之间的约束。

8.一种硬件设计验证装置，其特征在于，包括：

获取模块，用于确定目标硬件设计，并获取所述目标硬件设计的寄存器规范和测试序列规范；

生成模块，用于基于所述寄存器规范生成所述目标硬件设计的寄存器模型，基于所述测试序列规范生成所述目标硬件设计的测试序列；

控制模块，用于利用所述测试序列控制所述寄存器模型，以对所述目标硬件设计进行验证。

9.一种电子设备，其特征在于，包括：

存储器，用于存储计算机程序；

处理器，用于执行所述计算机程序时实现如权利要求1至7任一项所述硬件设计验证方法的步骤。

10.一种计算机可读存储介质，其特征在于，所述计算机可读存储介质上存储有计算机程序，所述计算机程序被处理器执行时实现如权利要求1至7任一项所述硬件设计验证方法的步骤。