[发明专利]一种基于电路板的测试矢量自动生成方法及装置

权利要求书

1.一种基于电路板的测试矢量自动生成方法，其特征在于，包括：

将输入的电路设计和硬件设计转换为统一的RTL设计；

将RTL设计转换为能被符号执行工具的软件模型；

通过符号执行工具并结合人工智能算法进行测试矢量与测试路径的寻优与匹配，生成测试矢量。

2.根据权利要求1所述的方法，其特征在于，还包括：

将生成的测试矢量结合RTL设计，应用硬件设计仿真软件进行仿真，生成对应的测试矢量覆盖率报告，对测试矢量进行初步评估。

3.根据权利要求2所述的方法，其特征在于，将生成的测试矢量结合RTL设计，应用硬件设计仿真软件进行仿真，具体包括：

将符号执行生成的测试矢量来驱动仿真软件，通过调用Modelsim引擎实现仿真，计算测试矢量可达的覆盖率。

4.根据权利要求2所述的方法，其特征在于，还包括:

当生成的测试矢量不满足覆盖率要求，则通过人工智能算法进行参数寻优或手动修改参数以满足覆盖率要求；

当生成的测试向量满足要求，测试矢量被转换为对应符合IEEE1445标准的文件，并应用到硬件上进行仿真，通过对激励、输入输出管脚等的检测，进一步评估生成的测试矢量。

5.根据权利要求1所述的方法，其特征在于，将输入的电路设计和硬件设计转换为统一的RTL设计，具体包括：

通过VHDL转换工具将输入的电路设计和硬件设计转换为统一的基于VHDL语言的RTL设计。

6.一种基于电路板的测试矢量自动生成装置，其特征在于，包括：

转换单元，用于将输入的电路设计和硬件设计转换为统一的RTL设计，将RTL设计转换为能被符号执行工具的软件模型；

处理单元，用于通过符号执行工具并结合人工智能算法进行测试矢量与测试路径的寻优与匹配，生成测试矢量。

7.根据权利要求6所述的装置，其特征在于，还包括:

仿真单元，用于将生成的测试矢量结合RTL设计，应用硬件设计仿真软件进行仿真，生成对应的测试矢量覆盖率报告，对测试矢量进行初步评估。

8.根据权利要求7所述的装置，其特征在于，

所述仿真单元还用于，将符号执行生成的测试矢量来驱动仿真软件，通过调用Modelsim引擎实现仿真，计算测试矢量可达的覆盖率。

9.根据权利要求7所述的装置，其特征在于，所述仿真单元还用于，当生成的测试矢量不满足覆盖率要求，则通过人工智能算法进行参数寻优或手动修改参数以满足覆盖率要求；当生成的测试向量满足要求，测试矢量被转换为对应符合IEEE1445标准的文件，并应用到硬件上进行仿真，通过对激励、输入输出管脚等的检测，进一步评估生成的测试矢量。

10.根据权利要求6所述的装置，其特征在于，

所述转换单元还用于，通过VHDL转换工具将输入的电路设计和硬件设计转换为统一的基于VHDL语言的RTL设计。