【IC覆盖率】

覆盖率分享

  • 1 覆盖率提高策略
  • 2 覆盖率类型
    • 2.1 代码覆盖率
    • 2.2 功能覆盖率
    • 2.3 Waive提高覆盖率

覆盖率是用于衡量设计的完备性,进行指导分析发现没覆盖到的盲区,通过修改约束或者追加定向case来提到覆盖率;

1 覆盖率提高策略

1.首先最先的是每个case增加随机次数,从而得到更多的随机种子来提高覆盖率;
2.当发现种子数提高,但是覆盖率无提高时,细化原有约束;
3.当修改约束后,发现还是不行,追加定向case;
当然有的RTL代码属于冗余代码,可以和DE交互waive掉

2 覆盖率类型

2.1 代码覆盖率

代码覆盖率首先是最直观最省力的方法,由EDA直接自动生成,来检查RTL是否遍历;
1.行覆盖率
这个即RTL代码有多少行被执行到了;
2.条件覆盖率
当判定式中有多个条件时,要求每个条件的取值组合都要遍历到;
3.分支覆盖率
遍历代码中的分支覆盖;即
if-else;
case;
?:
以上三种情况;
区分条件覆盖率和分支覆盖率

if( con1 || con2) begin....
end else begin...
end

对于分支覆盖率来说:
两种情况就够了:
1.con1和con2 都为false;
2.con1为true,不care con2;

但是对于条件覆盖率来说:还需要增加
con1为true,con2为false;
con1为true,con2为true;

4.翻转覆盖率
即bit为哪些没有0–>1或者1–>0变化,常见于配置寄存器中;
5.有限状态机覆盖率
衡量状态机中的各个状态是否遍历到;
6.断言覆盖率
断言用于判定RTL代码预期,cover property来检查某些信号的时序关系;
assert某种意义上等价于一个case的作用;

2.2 功能覆盖率

功能覆盖率是自己主动写,对重要和感兴趣的点通过建仓来收集覆盖率衡量的方式;
如果对Spec足够理解,从而完备的功能收集仓,可以做到:某个功能在设计中被遗漏,代码覆盖率不能做到,他只能对已有的RTL默认为Golden的情况下做覆盖,而功能覆盖率可以做到检查现有RTL是否完成Spec上面所要求的功能;

功能覆盖率收集的前提是:测试用例通过;
1.主要关注模块的的输入输出接口信号和某些内部信号;

  • 对于输入,检测数据端的data和control信号组合情况;
  • 对于输出,检测是否有完整的Data pata和反馈时序;
  • 对于内部设计信号,需要检查的信号与验证计划中需要覆盖的点相对应。通过对信号的单一覆盖、交叉覆盖或时序覆盖来检查功能是否被触发,以及执行是否正确;

覆盖组covergroup概念:一旦被定义可以创建多个实例;覆盖组可以定义在module、program、interface以及class中;
每个覆盖组必须明确:
一个时钟事件可以用来同步对覆盖点的采样:一组覆盖点;覆盖点之间的交叉覆盖;可选的形式参数;覆盖率选项;
功能覆盖路策略:关注的地方着眼于感兴趣的状态;设计信号位宽较大,应拆分多个小范围再加上边界情况;
功能覆盖率比较耗时,只收集来分析重要和感兴趣的那部分;
最后目标是:同时追求高的代码覆盖率和高的功能覆盖率

2.3 Waive提高覆盖率

为不断提高覆盖率,经常和DE交互来进行Exclude一些RTL代码,这是不可避免的;
Tips: VCS 提供了一个-cm_hier选项,加上相应的配置文件,可以批量Exclude不关心的RTL层级。

-cm_hier xxx
//Eg
ELAB_OPT += -cm_hier /xx/xx/xx/xx/xx/XXX_cov_hier.fil
//Contents
begin line+cond+fsm+branch +tree rx_tb_top.dut 0 end
begin tgl +tree rx_tb_top.dut 1 end
begin line+cond+fsm+branch -tree rx_tb_top.dut.pcb_smp_wrap 0 end

1.+/-tree instance_name [level_number]
表示只收集或Exclude指定层级Instance的覆盖率,level为0或者不写level表示指定层级以下的全部子层级,level 1表示当前层级;
2.+/-file file_name
表示收集或者Exclude指定的文件中的代码
3.+/-library library_name
表示收集或者Exclude指定的库中的全部module;
4.+/-module module_name |entity_name
表示收集后者Exclude指定的module
5.+/-moduletree module_name [level_number]
表示收集或者Exclude指定层级下的对应的module
6.+/-node
表示收集或者Exclude某个信号的toggle覆盖率;

begin fsm+line +tree tb_top.dut1 end
仅收集dut层级以下全部的fsm和line覆盖率
begin line+tgl+cond -module bdev end
不收集名为bdev的module的line/tgl/toggle/condi覆盖率
begin cond+line -library gate end
begin tgl -tree tb_top.dut.L* end
不收集名为gate的库文件的所有module的cond和line覆盖率;
不收集以tb_top.dut.L开头的所有层级的toggle覆盖率
+tree tb.dut
begin line -module bdev end
收集dut及以下所有层级的覆盖率,不收集名为bdev的module的line覆盖率;

一些情况下,比如例化了多个Instance都需要保留,但是内部某些语句需要Exclude,如果一个一个waive,非常耗时。可以先将一个Instance手动Exclude然后保存.el文件,然后批量复制修改多个Instance的index,最后再重新加载进去即可

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/594033.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

全国计算机等级考试| 二级Python | 真题及解析(10)

一、选择题 1.要实现将实数型变量a的值保留三位小数,以下python可以实现的是( ) A.a%0.001 B.a//0.001 C.round(a,3) D.round(3,a) 2.在Python中要交换变量a和b中的值,应使用的语句组是( )。 A…

基于SpringBoot的医院档案管理系统设计与实现

文章目录 项目介绍主要功能截图:部分代码展示设计总结项目获取方式🍅 作者主页:超级无敌暴龙战士塔塔开 🍅 简介:Java领域优质创作者🏆、 简历模板、学习资料、面试题库【关注我,都给你】 🍅文末获取源码联系🍅 项目介绍 基于SpringBoot的医院档案管理系统设计与…

思科校园网搭建及配置综合小型实验

思科校园网搭建及配置综合小型实验 实验拓扑配置步骤配置聚合链路配置VTP,vlan域模板第一步 配置二层VLAN第二步 配置生成树第三步 配置相关IP地址第四步 配置DHCP及DHCP中继第五步 配置三层的网关冗余协议 双机热备及OSPF第六步 配置静态路由,NAT地址转换及其他配置…

[Verilog语言入门教程] Verilog 减法器 (半减器, 全减器, 加减共用)

依公知及经验整理,原创保护,禁止转载。 专栏 《元带你学Verilog》 <<<< 返回总目录 <<<< “逻辑设计是一门艺术,它需要创造力和想象力。” - 马克张伯伦(Mark Zwolinski) 减法器是数字电路中常见的组件,用于减去两个二进制数的和。 在Verilog中…

总结2023,展望2024

2023年是一个充满挑战和机遇的一年。全球范围内&#xff0c;人们继续努力应对新冠疫情的影响&#xff0c;各行各业都面临着巨大的变革和调整。在这个动荡的环境下&#xff0c;技术行业也经历了许多重要的发展和变革。 首先&#xff0c;人工智能在2023年取得了巨大的突破和应用…

面试经典150题(62-64)

leetcode 150道题 计划花两个月时候刷完&#xff0c;今天&#xff08;第三十天&#xff09;完成了3道(62-64)150&#xff1a; 62.&#xff08;226. 翻转二叉树&#xff09;题目描述&#xff1a; 给你一棵二叉树的根节点 root &#xff0c;翻转这棵二叉树&#xff0c;并返回其…

麒麟云增加计算节点

一、安装基座系统并配置好各项设置 追加的计算节点服务器&#xff0c;安装好系统&#xff0c;把主机名、网络网线&#xff08;网线要和其他网线插的位置一样&#xff09;、hosts这些配置好&#xff0c;在所有节点的/etc/hosts里面添加信息 在控制节点添加/kylincloud/multinod…

人工智能趋势报告解读:ai野蛮式生长的背后是机遇还是危机?

近期&#xff0c;Enterprise WordPress发布了生成式人工智能在营销中的应用程度的报告&#xff0c;这是一个人工智能迅猛发展的时代&#xff0c;目前人工智能已经广泛运用到内容创作等领域&#xff0c;可以预见的是人工智能及其扩展应用还将延伸到我们工作与生活中的方方面面。…

springboot自动配置原理

第一步启动类注解 第二步可以看到启动类注解组合了自动配置这个注解&#xff08;enableAutoConfiguration&#xff09; 第三步进入这个注解 可以看到里面导入了一个impotSelector这个自动配置的字节码 第四步点进去 可以看到实现了deferredImportSelector这个接口 并且在这个类…

C# 前端GET或POST传递的两种参数body和query的区别

当前端通过通过Get或Post进行HTTP请求时&#xff0c;有两种方式传递参数&#xff1a;通过请求体&#xff08;body&#xff09;和通过查询字符串&#xff08;query&#xff09;。 GET&#xff1a; GET方法用于从服务器获取资源&#xff0c;它只能通过查询字符串&#xff08;qu…

Rockchip平台Android应用预安装功能(基于Android13)

Rockchip平台Android应用预安装功能(基于Android13) 1. 预安装应用类型 Android上的应用预安装功能&#xff0c;主要是指配置产品时&#xff0c;根据厂商要求&#xff0c;将事先准备好的第三方应用预置进Android系统。预安装分为以下几种类型&#xff1a; 安装不可卸载应用安…

postfix配置tls加密

1.编译安装 编译安装openss【卸载原有openssl&#xff0c;然后下载新的安装&#xff0c;因为postfix需要新版本openssl】编译安装postfix,下面这行命令 make -f Makefile.init makefiles CCARGS"-DHAS_MYSQL -I/www/server/mysql/include -DUSE_SASL_AUTH -I/usr/include…

阿赵UE学习笔记——6、免费资源获取

阿赵UE学习笔记目录 大家好&#xff0c;我是阿赵。   接下来准备要往UE引擎里面放美术资源了。美术资源可以自己做&#xff0c;不过也有一些免费的资源可以供我们使用的&#xff0c;这里介绍一些获得免费美术资源的方法。 一、Quixel 1、Quixel网站下载 Quixel资源库&#…

LiveGBS流媒体平台GB/T28181常见问题-如何配置快照目录快照存储默认目录目录如何配置

LiveGBS流媒体平台GB/T28181常见问题-如何配置快照目录快照存储默认目录目录如何配置 1、快照目录2、指定快照目录3、搭建GB28181视频直播平台 1、快照目录 部署LiveGBS后&#xff0c; 再查看通道播放后 或是 获取通道快照后&#xff0c;就会在LiveSMS部署的服务器里面存储对应…

【日积月累】Java中 正则表达式

目录 日积月累】Java中 正则表达式 1.前言2.基本语法3.Pattern和Matcher类4.校验的表达式大全5.参考文章所属专区 日积月累 1.前言 正则表达式是一种用于匹配文本模式的语法,它通常与编程语言一起使用。在Java中,正则表达式用于匹配字符串,可以使用Pattern和Matcher类来实…

LeetCode 每日一题 Day 28293031 ||三则模拟||找循环节(hard)

1185. 一周中的第几天 给你一个日期&#xff0c;请你设计一个算法来判断它是对应一周中的哪一天。 输入为三个整数&#xff1a;day、month 和 year&#xff0c;分别表示日、月、年。 您返回的结果必须是这几个值中的一个 {“Sunday”, “Monday”, “Tuesday”, “Wednesday…

修复键盘问题的十种方法,总有一种可以帮到你

坏了的键盘可不是闹着玩的。这就是为什么苹果公司向人们支付395美元,以解决其蝴蝶键盘故障的集体诉讼。但这个问题并不总是那么普遍,所以这通常意味着如果出现问题,你只能靠自己了。 重新启动电脑 你有没有试过反复打开电脑?在你尝试任何随机修复之前,一个简单的重新启动…

RK3568驱动指南|第九篇 设备模型-第99章 注册一个自己的总线实验

瑞芯微RK3568芯片是一款定位中高端的通用型SOC&#xff0c;采用22nm制程工艺&#xff0c;搭载一颗四核Cortex-A55处理器和Mali G52 2EE 图形处理器。RK3568 支持4K 解码和 1080P 编码&#xff0c;支持SATA/PCIE/USB3.0 外围接口。RK3568内置独立NPU&#xff0c;可用于轻量级人工…

基于猫群算法优化的Elman神经网络数据预测 - 附代码

基于猫群算法优化的Elman神经网络数据预测 - 附代码 文章目录 基于猫群算法优化的Elman神经网络数据预测 - 附代码1.Elman 神经网络结构2.Elman 神经用络学习过程3.电力负荷预测概述3.1 模型建立 4.基于猫群优化的Elman网络5.测试结果6.参考文献7.Matlab代码 摘要&#xff1a;针…

【React】class组件生命周期函数的梳理和总结(第一篇)

1. 前言 本篇梳理和总结一下React的生命周期函数&#xff0c;方便使用class组件的同学查阅&#xff0c;先上生命周期图谱。 2. 生命周期函数 生命周期函数说明constructor(props) 功能&#xff1a;如果不需要初始化state或不进行方法绑定&#xff0c;class组件可以不用实现构造…