千家信息网

Linux下VCS覆盖率检查是什么

发表于:2026-11-03 作者:千家信息网编辑
千家信息网最后更新 2026年11月03日,本篇文章为大家展示了Linux下VCS覆盖率检查是什么,内容简明扼要并且容易理解,绝对能使你眼前一亮,通过这篇文章的详细介绍希望你能有所收获。在一个芯片验证的工程中,通常以代码覆盖率和功能覆盖率来体现
千家信息网最后更新 2026年11月03日Linux下VCS覆盖率检查是什么

本篇文章为大家展示了Linux下VCS覆盖率检查是什么,内容简明扼要并且容易理解,绝对能使你眼前一亮,通过这篇文章的详细介绍希望你能有所收获。

在一个芯片验证的工程中,通常以代码覆盖率和功能覆盖率来体现验证是否完备,而代码覆盖率包括:行,状态机,翻转,条件,分支覆盖率。为了保证验证的充分性,我们要尽可能保证这五种类型的代码覆盖率达到100%。

行覆盖率 line coverage 要求百分之99-100

状态机覆盖率 FSM coverage

条件覆盖率 conditional coverage

翻转覆盖率 Toggle coverage :0->1 ,1->0

路径覆盖率 Path coverage :initial 和always里的语句

分支覆盖率 branch coverage

-cm line+cond+fsm+branch+tgl为生成什么条件的覆盖率

Makefile文件中覆盖率脚本:

执行vcs

产生的.vdb文件为产生覆盖率的信息

一步步cd进去可以看到coverage文件

下面进行覆盖率查看,输入如下命令 dve -covdir *.vdb &

弹出DVE界面,通过DVE查看覆盖率(方法1)

双击tb_state 进入,可以看到代码会有颜色标注,覆盖到的为绿色,没有覆盖到的为红色


Line coverage

Toggle coverage

FSM coverage

Condition coverage

Branch coverage


通过URG查看覆盖率(方法2),可以以文本格式或者网页格式显示覆盖率

点击run,产生urgReport;


或者在命令栏urg -dir *.vdb &

ls之后可以看到urgReport,cd进去可以看到.html文件和 .xml文件

会显示很详细的覆盖率报告

Tb文件:

Module文件

上述内容就是Linux下VCS覆盖率检查是什么,你们学到知识或技能了吗?如果还想学到更多技能或者丰富自己的知识储备,欢迎关注行业资讯频道。

覆盖率 文件 代码 条件 验证 检查 内容 分支 命令 技能 方法 格式 状态 知识 保证 简明 简明扼要 信息 充分性 功能 数据库的安全要保护哪些东西 数据库安全各自的含义是什么 生产安全数据库录入 数据库的安全性及管理 数据库安全策略包含哪些 海淀数据库安全审计系统 建立农村房屋安全信息数据库 易用的数据库客户端支持安全管理 连接数据库失败ssl安全错误 数据库的锁怎样保障安全 互联网黑科技 广州大一互联网络科技有限公司 科技股互联网 互联网巨头反垄断金融科技 互联网与科技发展 苏州互联网科技贷款公司 互联网金融科技平台 撒么互联网科技公司 四个字互联网科技公司取名 华服互联网科技官网 互联网还是高科技吗 注册互联网科技公司经营范围大全 乌苏新华互联网科技做什么的 西安小鹰速贷互联网科技有限公司 智帮互联网科技公司最近动向 上海创道互联网络科技有限公司 神州科技互联网有限公司 广州梦谷互联网科技有限公司领导 江苏互联网智能科技产品出厂价 北京军民互联网科技公司 手冲咖啡和咖啡机区别 科技平台互联网 互联网金融监管科技数据 浩特互联网科技 互联网科技咨询 栖莱科技互联网股份有限公司 从那以后互联网科技有限公司 神州科技互联网有限公司 现代互联网科技公司 小牛互联网科技有限公司地址
0