一种采用断言和脚本提高统计功能覆盖率效率的方法技术

本发明专利技术提供一种采用断言和脚本提高统计功能覆盖率效率的方法，属于集成电路验证技术领域，针对现有技术使用仿真工具进行功能覆盖率统计的费时费力、不易迭代问题，采用的技术方案是：通过将功能点按规则概况后统计入一个文件中，在设计中加入断言，利用脚本的文本处理能力处理log信息，实现覆盖率数据的实时统计。其具体步骤为：1）规则化描述功能点，统计功能点并写入文件中；2）根据功能点描述规则，在设计加入对应功能点的断言，断言成功功能点的描述至统一的断言报告中；3）开发同验证环境并行运行的脚本，实时监测断言报告内容是否发生变化，记录发生变化的断言报告内容，并在当前用例仿真结束时给出覆盖率。本发明专利技术能实时统计覆盖率数据。

A method using assertions and scripts to improve the efficiency of the coverage of statistical functions

The present invention provides a method for using assertions and script function coverage improve statistical efficiency, which belongs to the technical field of integrated circuit verification, based on the existing technology using the simulation tool for functional coverage statistics is time-consuming and difficult iteration problems, the technical scheme is that the function points according to the rules of statistics into a file in addition, assertions in the design, the use of the script text processing log information processing capability, real-time statistical coverage data. The specific steps are: 1) rule description functions, statistical functions and write the document; 2) according to the functional description in the design rules, with the corresponding function point assertions, assert success function point description to the unified assertion report; 3) with the development of the verification environment of parallel running script, real-time monitoring that report is changed, the contents of the report that records changes, and at the end of the current case simulation given coverage. The invention can count the coverage data in real time.

【技术实现步骤摘要】
一种采用断言和脚本提高统计功能覆盖率效率的方法
本专利技术涉及集成电路验证
，具体地说是一种采用断言和脚本提高统计功能覆盖率效率的方法。
技术介绍
现今集成电路规模大、逻辑和算法复杂，验证难度大，往往一个设计需要用到若干种的验证手段或验证思想才能使设计验证的相对充分，设计功能验证是否充分的判断一般依靠于功能覆盖率。在设计验证过程中，设计可能会增加或删减功能、验证的迭代以及开发新的测试用例，大的设计可能会有成百上千的测试用例，在这种情况，若人工统计功能覆盖率，则具有易出错、效率低的缺点，若纯的依靠仿真工具统计功能覆盖率，首先会占用相当大的系统资源，其次，收集所有测试用例的覆盖结果不易，在针对未覆盖的功能开发新的测试用例时，需要分析已覆盖的有哪些，测试完成后，又需要利用工具将该部分覆盖率数据融入到已有的数据库中，最后，若在迭代阶段，发生设计修改或者功能的删减，则需要耗费大量的时间进行重新统计。
技术实现思路
本专利技术的技术任务是解决现有技术的不足，考虑到现今集成电路在设计验证工作过程中使用仿真工具进行功能覆盖率统计的费时费力、不易迭代，提供一种采用断言和脚本提高统计功能覆盖率效率的方法。本专利技术的技术方案是按以下方式实现的：一种采用断言和脚本提高统计功能覆盖率效率的方法，该方法通过将功能点按规则概况后统计入一个文件中，在设计中加入断言，利用脚本的文本处理能力处理log信息，实现覆盖率数据的实时统计。所涉及设计为FIFO设计时，采用instance绝对层次路径_当前FIFOinstance_overflow概况功能点。提高统计功能覆盖率效率的方法的实现步骤包括：1）规则化描述功能点，统计功能点并写入文件中；2）根据功能点描述规则，在设计加入对应功能点的断言，断言成功功能点的描述至统一的断言报告中；3）开发同验证环境并行运行的脚本，实时监测断言报告内容是否发生变化，记录发生变化的断言报告内容，并在当前用例仿真结束时，给出覆盖率。所涉及步骤1）中，功能点写入文件为FP.txt。所涉及步骤2）中，功能点断言成功后打印功能点命名内容至covered.log，功能点断言失败则打印功能点命名内容至uncovered.log。所涉及covered.log为全局共享文件，所涉及uncovered.log为本地文件。所涉及步骤3）中，实时监测covered.log是否发生变化，记录发生变化的covered.log，并与功能点写入的FP.txt文件作比较，以实时获取覆盖率。所涉及脚本为本地文件，用于实时监测全局共享文件的变化。所涉及断言的加入方式是：采用直接在设计中添加的方式，或者，采用systemverilog中bind的方式。本专利技术的一种采用断言和脚本提高统计功能覆盖率效率的方法与现有技术相比所产生的有益效果是：1）本专利技术通过将功能点按规则概况后统计入一个文件中，在设计中加入断言，利用脚本的文本处理能力处理log信息，实现覆盖率数据的实时统计，提高统计功能覆盖率的效率；另外，本专利技术还可以用于收集设计中哪些功能是不可能被验证到的，从而获得设计中不可能代发生的功能覆盖率；2）本专利技术摒弃了单一手段，无需再依靠仿真工具或单纯依靠断言后由人工核对功能是否被验证来统计覆盖率。具体实施方式为了更好的说明本专利技术，现结合具体实施例对技术方案做进一步的说明。虽然实施例中记载了这些具体的实施方式，然其并非用以限定本专利技术，任何所述
中具有通常知识者，在不脱离本专利技术的精神和范围内，当可作些许的更动和润饰，故本专利技术的保护范围当视权利要求书所界定者为准。本专利技术的一种采用断言和脚本提高统计功能覆盖率效率的方法，该方法通过将功能点按规则概况后统计入一个文件中，在设计中加入断言，利用脚本的文本处理能力处理log信息，实现覆盖率数据的实时统计。所涉及设计为FIFO设计时，采用instance绝对层次路径_当前FIFOinstance_overflow概况功能点。提高统计功能覆盖率效率的方法的实现步骤包括：1）规则化描述功能点，统计功能点并写入文件FP.txt中；2）根据功能点描述规则，在设计加入对应功能点的断言，功能点断言成功后打印功能点命名内容至covered.log，功能点断言失败则打印功能点命名内容至uncovered.log；3）开发同验证环境并行运行的脚本，实时监测covered.log断言报告内容是否发生变化，记录发生变化的covered.log断言报告内容，并与功能点写入的FP.txt文件作比较，以实时获取覆盖率，在当前用例仿真结束时，快速给出覆盖率。所涉及covered.log为全局共享文件，所涉及uncovered.log为本地文件。任何测试用例启动时，一旦功能点断言成功时都会将相应内容写入全局共享文件。所涉及脚本为本地文件，用于实时监测全局共享文件的变化。所涉及断言的加入方式是：采用直接在设计中添加的方式，或者，采用systemverilog中bind的方式。以断言某一FIFO中的full是否发生的情况被验证到为例：定义该功能点“top_sub_FIFO_inst_full”，加入FN.txt中，假设此时FN.txt中只写入这一个功能点，即只有一个功能需要进行统计是否被覆盖。采用在设计中加入断言的方式。在设计中加入如下一段程序：sequences1;@(posedgeclk)full;Endsequencepropertyp1;s1;$display(“top_sub_FIFO_inst_full”)//写入covered.logEndpropertya1:assertproperty(p1);else$display(“top_sub_FIFO_inst_full”)//写入uncovered.log在启动测试用例时，同时启动可并行运行的脚本，当监测到covered.log内容发生变化，则根据covered.log的内的条数与FN.txt内的条数进行计算，在测试用例中，一旦covered.log中有内容，则功能覆盖率为100%。若监测到uncovered.log内容变化，则说明开发的测试用例或断言方法不合适，没有覆盖到相应的功能。本专利技术通过将功能点按规则概况后统计入一个文件中，在设计中加入断言，利用脚本的文本处理能力处理log信息，实现覆盖率数据的实时统计，提高统计功能覆盖率的效率。另外，本专利技术还可以用于收集设计中哪些功能是不可能被验证到的，从而获得设计中不可能发生的功能的覆盖率。本文档来自技高网...

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

【技术特征摘要】
1.一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，该方法通过将功能点按规则概况后统计入一个文件中，在设计中加入断言，利用脚本的文本处理能力处理log信息，实现覆盖率数据的实时统计。2.根据权利要求1所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述设计为FIFO设计时，采用instance绝对层次路径_当前FIFOinstance_overflow概况功能点。3.根据权利要求1所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述方法的实现步骤包括：1）规则化描述功能点，统计功能点并写入文件中；2）根据功能点描述规则，在设计加入对应功能点的断言，断言成功功能点的描述至统一的断言报告中；3）开发同验证环境并行运行的脚本，实时监测断言报告内容是否发生变化，记录发生变化的断言报告内容，并在当前用例仿真结束时，给出覆盖率。4.根据权利要求3所述的一种采用断言和脚本提高统计功能覆盖率效率的方法，其特征在于，所述步骤1）中，功能点写入文件为FP.txt。5.根据权利要求4所述的一种...

【专利技术属性】
技术研发人员：张永照，童元满，
申请(专利权)人：郑州云海信息技术有限公司，
类型：发明
国别省市：河南,41