[发明专利]芯片验证测试用例随机约束的管理和重用方法、存储介质

权利要求书

1.一种芯片验证测试用例随机约束的管理和重用方法，所述随机约束包含若干随机子约束，用于约束芯片验证测试用例的配置对象的成员变量，其特征在于，包含如下步骤：

创建所述随机约束的基类，所述基类为参数化类；

将所述配置对象的数据成员作为参数传递到所述随机约束的基类中；

对所述随机约束的基类进行派生，获取若干独立的封装类，各个所述封装类中封装对应的所述随机子约束；

创建所述随机约束的类队列，所述类队列包含调用接口，各个所述封装类通过所述调用接口加入所述类队列；

创建所述配置对象的基类，所述配置对象包含所述随机约束，用于声明所述配置对象的成员变量和所述随机约束的基类的数据类型；

基于配置对象的基类创建配置对象，并声明例化封装类和随机约束的类队列，调用随机约束的接口方法将需要的封装类加入随机约束的类队列，最终实现配置对象的随机约束求解。

2.如权利要求1所述芯片验证测试用例随机约束的管理和重用方法，其特征在于，将所述配置对象的数据成员作为参数传递到所述随机约束的基类中时，采用set_item函数使所述随机约束的基类中的成员变量与所述配置对象的成员变量的值保持同步。

3.如权利要求1所述芯片验证测试用例随机约束的管理和重用方法，其特征在于，创建所述随机约束的类队列时，在所述随机约束的基类中声明所述随机约束的类队列的数据类型。

4.如权利要求1所述芯片验证测试用例随机约束的管理和重用方法，其特征在于，创建所述配置对象的基类时，创建递归同步指令，用于对所述随机约束的类队列中的成员变量进行递归同步。

5.如权利要求4所述芯片验证测试用例随机约束的管理和重用方法，其特征在于，调用需要的所述封装类加入所述随机约束的类队列后，同步所述随机约束的类队列和所述配置对象的基类的类队列，以使所述递归同步指令顺利执行。

6.一种具有处理器可执行的非易失的程序代码的存储介质，其特征在于，所述程序代码使所述处理器运行所述权利要求1~5任一项所述芯片验证测试用例随机约束的管理和重用方法。