[发明专利]一种芯片验证关键信号覆盖率统计分析方法和存储介质

权利要求书

1.一种芯片验证关键信号覆盖率统计分析方法，其特征在于，所述方法包括以下步骤：

预先设置关键信号信息，并以第一预设格式文件进行存储；所述关键信号信息包括至少一个关键信号名称、关键信号位宽和关键信号路径；

将第一预设格式文件转换为第二预设格式文件；

创建新的顶层文件，将所创建的顶层文件作为新的验证对象进行仿真验证，并输出仿真结果；所述新的顶层文件包括原始待验证电路顶层和第二预设格式文件，所述原始待验证电路顶层和第二预设格式文件位于同一层路径，第二预设文件中包含的关键信号通过指针指向原始待验证电路中名称一致的关键信号；

在RTL仿真软件平台上进行功能验证仿真,并在仿真的同时打开覆盖率检查选项,对第二预设格式文件内的关键信号进行覆盖率跟踪；

在仿真结束后将所有模块的仿真覆盖率文件汇总到一个存储目录下,并通过仿真工具的覆盖率产生命令来生成第二预设格式文件中的覆盖率报告；

仿真平台根据第二预设格式文件中各个关键信号的预设覆盖率，输出未满足预设覆盖率条件的关键信号信息。

2.如权利要求1所述的芯片验证关键信号覆盖率统计分析方法，其特征在于，所述方法包括以下步骤：

当第二预设格式文件中的某个关键信号的覆盖率达不到预设覆盖率时，仿真平台获取该关键信号的约束条件，并以时间为种子随机生成新的测试用例，再次进行仿真验证。

3.如权利要求1所述的芯片验证关键信号覆盖率统计分析方法，其特征在于，第一预设格式文件为Excel文件，第二预设格式文件为monitor.v文件；将第一预设格式文件转换为第二预设格式文件包括：

将Excel文件转换为纯文本文件，并通过脚本将纯文本文件自动转换为monitor.v文件。

4.如权利要求3所述的芯片验证关键信号覆盖率统计分析方法，其特征在于，通过脚本将纯文本文件自动转换为monitor.v文件包括：

在文件起始位置加上起始标识信息；

将所有关键信号名称作为模块输入信号，并在最后一个关键信号的结尾添加结束标识信息；

将monitor.v中所有关键信号挂载连接到原始信号处，使得monitor.v文件中的关键信号信息能够随着原始待验证电路对应位置信号的变化而变化。

5.一种存储介质，其特征在于，其上存储有计算机程序，所述计算机程序被处理器执行时实现以下步骤：

预先设置关键信号信息，并以第一预设格式文件进行存储；所述关键信号信息包括至少一个关键信号名称、关键信号位宽和关键信号路径；

将第一预设格式文件转换为第二预设格式文件；

创建新的顶层文件，将所创建的顶层文件作为新的验证对象进行仿真验证，并输出仿真结果；所述新的顶层文件包括原始待验证电路顶层和第二预设格式文件，所述原始待验证电路顶层和第二预设格式文件位于同一层路径，第二预设文件中包含的关键信号通过指针指向原始待验证电路中名称一致的关键信号；

所述计算机程序被处理器执行时还实现以下步骤：

在RTL仿真软件平台上进行功能验证仿真,并在仿真的同时打开覆盖率检查选项,对第二预设格式文件内的关键信号进行覆盖率跟踪；

在仿真结束后将所有模块的仿真覆盖率文件汇总到一个存储目录下,并通过仿真工具的覆盖率产生命令来生成第二预设格式文件中的覆盖率报告；

仿真平台根据第二预设格式文件中各个关键信号的预设覆盖率，输出未满足预设覆盖率条件的关键信号信息。

6.如权利要求5所述的存储介质，其特征在于，所述计算机程序被处理器执行时实现以下步骤：

当第二预设格式文件中的某个关键信号的覆盖率达不到预设覆盖率时，仿真平台获取该关键信号的约束条件，并以时间为种子随机生成新的测试用例，再次进行仿真验证。

7.如权利要求5所述的存储介质，其特征在于，第一预设格式文件为Excel文件，第二预设格式文件为monitor.v文件；

步骤“将第一预设格式文件转换为第二预设格式文件”包括：

将Excel文件转换为纯文本文件，并通过脚本将纯文本文件自动转换为monitor.v文件。

8.如权利要求7所述的存储介质，其特征在于，步骤“通过脚本将纯文本文件自动转换为monitor.v文件”包括：

在文件起始位置加上起始标识信息；

将所有关键信号名称作为模块输入信号，并在最后一个关键信号的结尾添加结束标识信息；

将monitor.v中所有关键信号挂载连接到原始信号处，使得monitor.v文件中的关键信号信息能够随着原始待验证电路对应位置信号的变化而变化。