• Coverage报告生成


    Coverage报告生成

    覆盖率


    覆盖率驱动的验证方法中覆盖率报告的生成至关重要,现在介绍一下使用DVE和URG生成覆盖率报告的步骤。

    使用VCS生成数据


    在VCS的运行脚本中添加-cm cond+fsm+line -cm_noconst,这里生成条件/状态机/行覆盖率,更多细节请参考VCS帮助手册目录下的cov_ug.pdf
    默认生成simv.vdb的目录,接下来的DVE将从其中读取数据。

    使用DVE加载数据

    运行DVE加载数据dve -full64 -dir ./simv.vdb -cov &

    使用DVE分析数据


    通过DVE可以移除不关心的逻辑。
    生成Exclude操作文件,这里保存为elfile.el


    使用URG生成HTML格式报告


    使用urg加载之前dve生成的Exclude操作脚本,可以生成HDML报告文件,这样通过firefox就可以直观的浏览最终处理的报告文件。
    urg -full64 -dir ./simv.vdb -elfile elfile.el -log urg.log -excl_strict

  • 相关阅读:
    线段树
    坐标离散化
    超大背包问题
    折半枚举 双向搜索
    弹性碰撞
    反转 开关问题
    尺取法
    二分法
    最小生成树
    区间素数筛法
  • 原文地址:https://www.cnblogs.com/OneFri/p/7134183.html
Copyright © 2020-2023  润新知