微处理器功能验证测试用例的自动生成方法

摘要

一种微处理器功能验证测试用例的自动生成方法，本发明采用功能树结构的方法描述测试用例，该功能树结构结构层次比较清晰，各种指令和参数之间的关系也比较清楚，易于采用编程语言进行描述；本发明利用Perl语言自动把功能树结构映射为SystemVerilog语言描述的测试用例，只需根据功能树结构输入相应的指令便可以自动产生测试用例，从而减少了将功能树结构转化为测试用例所花的时间，提高了验证效率，确保产品能够在较短的时间里不带功能缺陷上市；另外，由于本方法可以在现有功能树结构的基础上根据不同产品增加或减少指令或参数，能够适用不同产品的测试用例的自动生成，从而提高了测试用例的可重用性。

主权项

一种微处理器功能验证测试用例的自动生成方法，其特征在于包括以下步骤：(a)利用Perl语言对功能树结构进行描述，在树根中输入测试用例的名字，在场景选择树枝节点下的场景选择指令类子树枝节点中输入选择指令类的名字，在场景实现树枝节点下的场景实现指令类子树枝节点中输入实现指令类的名字，在场景实现树枝节点下的场景实现参数类子树枝节点输入实现参数类的名字，在操作口令树叶节点输入具体的操作口令名，在微处理器具体指令树叶节点输入微处理器指令序列中的指令名，在控制参数树叶节点输入具体控制的参数名；所述功能树结构包括用来表示特定功能验证名称的树根、由树根生出的两个树枝节点、每个树枝节点生出的子树枝节点和每个子树枝节点生出的树叶节点；两个树枝节点分别为场景选择树枝节点和场景实现树枝节点，场景选择树枝节点生出场景选择指令类子树枝节点，场景实现树枝节点生出场景实现指令类子树枝节点和场景实现参数类子树枝节点，场景选择指令类子树枝节点生出操作口令树叶节点，场景实现指令类子树枝节点生出微处理器具体指令树叶节点，场景实现参数类子树枝节点生出控制参数树叶节点；(b)为步骤(a)中的场景选择指令类子树枝节点、场景实现指令类子树枝节点、场景实现参数类子树枝节点、在操作口令树叶节点、微处理器具体指令树叶节点、控制参数树叶节点分配重量，所述重量为子树枝节点由树枝节点生出的随机概率，或者为树叶节点由子树枝节点生出的随机概率；(c)运行步骤(a)中的Perl语言，把测试用例的名字映射为场景的约束类名，把选择指令类的名字和实现指令类的名字映射为约束类中指令类的集合名，把实现参数类的名字映射为约束类中参数类的集合名，把具体的操作口令名和微处理器指令序列中的指令名映射为约束类中指令类的集合名中的具体指令名，把具体控制的参数名映射为约束类中参数类的集合名中的具体参数名，然后将具体的操作口令映射为SystemVerilog语言描述的场景触发条件，将控制参数映射为SystemVerilog语言描述的场景实现指令类的触发条件，将微处理器的具体指令映射为SystemVerilog语言描述的微处理器指令序列集合，从而实现由Perl语言将功能树结构映射为SystemVerilog语言描述的测试用例。