[发明专利]一种采用断言和脚本提高统计功能覆盖率效率的方法

权利要求书

1.一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，该方法通过将功能点按规则概况后统计入一个文件中，在设计中加入断言，利用脚本的文本处理能力处理log信息，实现覆盖率数据的实时统计。

2.根据权利要求1所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述设计为FIFO设计时，采用instance绝对层次路径_当前FIFO instance_overflow概况功能点。

3.根据权利要求1所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述方法的实现步骤包括：

1）规则化描述功能点，统计功能点并写入文件中；

2）根据功能点描述规则，在设计加入对应功能点的断言，断言成功功能点的描述至统一的断言报告中；

3）开发同验证环境并行运行的脚本，实时监测断言报告内容是否发生变化，记录发生变化的断言报告内容，并在当前用例仿真结束时，给出覆盖率。

4.根据权利要求3所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述步骤1）中，功能点写入文件为FP.txt。

5.根据权利要求4所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述步骤2）中，功能点断言成功后打印功能点命名内容至covered.log，功能点断言失败则打印功能点命名内容至uncovered.log。

6.根据权利要求5所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述covered.log为全局共享文件，所述uncovered.log为本地文件。

7.根据权利要求6所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述步骤3）中，实时监测covered.log是否发生变化，记录发生变化的covered.log，并与功能点写入的FP.txt文件作比较，以实时获取覆盖率。

8.根据权利要求7所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述脚本为本地文件，用于实时监测全局共享文件的变化。

9.根据权利要求1或3所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述断言的加入方式是：

采用直接在设计中添加的方式，或者，采用systemverilog中bind的方式。