[发明专利]微处理器功能验证测试用例的功能树结构及自动生成方法

权利要求书

1.一种微处理器功能验证测试用例的自动生成方法，其特征在于包括以下步骤：

(a)利用Perl语言对功能树结构进行描述，在树根中输入测试用例的名字，在场景选择树枝节点下的场景选择指令类子树枝节点中输入选择指令类的名字，在场景实现树枝节点下的场景实现指令类子树枝节点中输入实现指令类的名字，在场景实现树枝节点下的场景实现参数类子树枝节点输入实现参数类的名字，在操作口令树叶节点输入具体的操作口令名，在微处理器具体指令树叶节点输入微处理器指令序列中的指令名，在控制参数树叶节点输入具体控制的参数名；所述功能树结构包括用来表示特定功能验证名称的树根、由树根生出的两个树枝节点、每个树枝节点生出的子树枝节点和每个子树枝节点生出的树叶节点；两个树枝节点分别为场景选择树枝节点和场景实现树枝节点，场景选择树枝节点生出场景选择指令类子树枝节点，场景实现树枝节点生出场景实现指令类子树枝节点和场景实现参数类子树枝节点，场景选择指令类子树枝节点生出操作口令树叶节点，场景实现指令类子树枝节点生出微处理器具体指令树叶节点，场景实现参数类子树枝节点生出控制参数树叶节点；

(b)为步骤(a)中的场景选择指令类子树枝节点、场景实现指令类子树枝节点、场景实现参数类子树枝节点、在操作口令树叶节点、微处理器具体指令树叶节点、控制参数树叶节点分配重量，所述重量为子树枝节点由树枝节点生出的随机概率，或者为树叶节点由子树枝节点生出的随机概率；

(c)运行步骤(a)中的Perl语言，把测试用例的名字映射为场景的约束类名，把选择指令类的名字和实现指令类的名字映射为约束类中指令类的集合名，把实现参数类的名字映射为约束类中参数类的集合名，把具体的操作口令名和微处理器指令序列中的指令名映射为约束类中指令类的集合名中的具体指令名，把具体控制的参数名映射为约束类中参数类的集合名中的具体参数名，然后将具体的操作口令映射为SystemVerilog语言描述的场景触发条件，将控制参数映射为SystemVerilog语言描述的场景实现指令类的触发条件，将微处理器的具体指令映射为SystemVerilog语言描述的微处理器指令序列集合，从而实现由Perl语言将功能树结构映射为SystemVerilog语言描述的测试用例。

2.根据权利要求1所述的一种微处理器功能验证测试用例的自动生成方法，其特征在于：所述步骤(a)中控制参数树叶节点中的控制参数确定微处理器具体指令树叶节点中的微处理器具体指令，不同控制参数确定的微处理器具体指令组成指令序列集合从而构成一个功能验证场景。

3.根据权利要求1所述的一种微处理器功能验证测试用例的自动生成方法，其特征在于：所述步骤(a)中操作口令树叶节点的一个操作口令确定一个功能验证场景。