发明名称 一种覆盖率的统计方法及装置
摘要 本发明公开了一种覆盖率的统计方法及装置,所述方法包括:在代码中分别为代码中的每个待覆盖点添加用于检测待覆盖点的覆盖情况的检测逻辑以及用于保存检测结果的寄存器;在代码开始执行后,检测逻辑检测对应的待覆盖点的覆盖情况,在检测到对应的待覆盖点被覆盖时,记录到对应的寄存器中,直到代码执行完毕;分别读取每个待覆盖点对应的寄存器的寄存器值,对读取的寄存器值进行统计分析,生成代码的覆盖结果。本发明在保证芯片的结构和功能实现的前提下,添加的检测逻辑和寄存器使覆盖率的统计,不再依赖于代码版本的稳定,对代码版本的变动不再敏感,可以灵活的应用于代码设计的初期和中期阶段,使验证工作尽早地高效开展。
申请公布号 CN105005645A 申请公布日期 2015.10.28
申请号 CN201510373574.8 申请日期 2015.06.30
申请人 浪潮(北京)电子信息产业有限公司 发明人 李拓;童元满;李仁刚
分类号 G06F17/50(2006.01)I 主分类号 G06F17/50(2006.01)I
代理机构 北京安信方达知识产权代理有限公司 11262 代理人 林桐苒;栗若木
主权项 一种覆盖率的统计方法,其特征在于,包括:在代码中分别为所述代码中的每个待覆盖点添加用于检测待覆盖点的覆盖情况的检测逻辑以及用于保存检测结果的寄存器;在所述代码开始执行后,所述检测逻辑检测对应的待覆盖点的覆盖情况,在检测到对应的待覆盖点被覆盖时,记录到对应的寄存器中,直到所述代码执行完毕;分别读取每个待覆盖点对应的寄存器的寄存器值,对读取的寄存器值进行统计分析,生成所述代码的覆盖结果。
地址 100085 北京市海淀区上地信息路2号2-1号C栋1层