当前位置:首页 > > 芯片验证工程师
么是功能覆盖率?验证中的覆盖率分功能覆盖率代码覆盖率两种,断言覆盖率归类为功能覆盖率。

顾名思义,功能覆盖率用于衡量设计中有多少功能被覆盖到了,被验证了,而代码覆盖率则是衡量代码实现中有多少语句被执行到了。前者是基于设计的源头,而后者是基于设计的最终实现,源头是本,实现是末。抓住了根本,目标指日可待;舍本逐末,事倍功半。

为什么是功能覆盖率?现在的主流的验证语言是systemverilog,其特点之一就是约束下的随机。相比较定向测试,它的验证效率更高,定向测试需要对每个功能点,每个测试维度去构造不同的用例测试,只能是想多少测多少,激励空间是已知的。而随机化的验证,其激励空间要大的多,远远大于定向测试的激励空间。定向测试好处是每个用例测试激励明确,只要测试通过了,用例的目标也就达成了,而随机化的验证问题是测试激励不明确,虽然它的激励空间更大,但是怎样知道用例执行完成后,覆盖到了哪些激励空间,没有覆盖到哪些激励空间呢?所以需要一个衡量标准,这就是功能覆盖率。




怎样做功能覆盖率?
需求!需求!需求!重要的事情说三遍,经过提取、整理和评审一致通过的验证需求,是做功能覆盖率的依据,要保证每个需求的充分验证,有哪些点必须验证到,这个是必须具体化、量化的,想不清楚这个问题就是没有真正理解需求,验证质量又如何保证呢。
Systemverilog语言对于功能覆盖率有很好的支持,其中覆盖点和交叉覆盖的概念非常重要。覆盖点对应的是上面提到的量化后的需求,这只是点,多个点就是一条线,是一个维度的覆盖;一个设计诸多功能并不是完全孤立的,所以单单验证一个点、一条线远远的不够的,交叉覆盖率就是来把这些点、线连接起来,织成了一张网。通过这张网把所有需求囊括其中。
基于功能覆盖率驱动的验证:有被动驱动和主动驱动两种。
所谓被动驱动,有点“马后炮”的嫌疑,在用例执行完成后,通过查看覆盖率报告来对未覆盖到的点补充定向用例覆盖;而主动驱动,是在用例执行过程中,以功能覆盖率100%或预期的百分比作为退出条件,否则会一直进行随机测试,“不达目的誓不罢休”。
所谓行百里者半九十,做随机化验证也存在着越临近终点,需要付出的更多,因为越到最后随机重复的概率越大,随机成千上万次可能才能有一个新覆盖点,命中率越来越低。针对这个问题,如果采用主动驱动方法,可以提前筛选掉重复的随机,只采用对覆盖率有贡献的随机值,将命中率提高到100%。
但被动驱动方法也有其优势,覆盖组是对所有用例的随机进行采样,而主动驱动是针对单一用例来实现的。通过诸多项目经验来看,首推主动驱动方法,效率更高。
结论
理解清楚验证需求,具体量化验证需求,用功能覆盖率编织的一张大网,把所有的覆盖点一网打尽,采用主动、被动驱动方法做到攻守兼备,让验证工作更加高质、高效。

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
换一批
延伸阅读

LED驱动电源的输入包括高压工频交流(即市电)、低压直流、高压直流、低压高频交流(如电子变压器的输出)等。

关键字: 驱动电源

在工业自动化蓬勃发展的当下,工业电机作为核心动力设备,其驱动电源的性能直接关系到整个系统的稳定性和可靠性。其中,反电动势抑制与过流保护是驱动电源设计中至关重要的两个环节,集成化方案的设计成为提升电机驱动性能的关键。

关键字: 工业电机 驱动电源

LED 驱动电源作为 LED 照明系统的 “心脏”,其稳定性直接决定了整个照明设备的使用寿命。然而,在实际应用中,LED 驱动电源易损坏的问题却十分常见,不仅增加了维护成本,还影响了用户体验。要解决这一问题,需从设计、生...

关键字: 驱动电源 照明系统 散热

根据LED驱动电源的公式,电感内电流波动大小和电感值成反比,输出纹波和输出电容值成反比。所以加大电感值和输出电容值可以减小纹波。

关键字: LED 设计 驱动电源

电动汽车(EV)作为新能源汽车的重要代表,正逐渐成为全球汽车产业的重要发展方向。电动汽车的核心技术之一是电机驱动控制系统,而绝缘栅双极型晶体管(IGBT)作为电机驱动系统中的关键元件,其性能直接影响到电动汽车的动力性能和...

关键字: 电动汽车 新能源 驱动电源

在现代城市建设中,街道及停车场照明作为基础设施的重要组成部分,其质量和效率直接关系到城市的公共安全、居民生活质量和能源利用效率。随着科技的进步,高亮度白光发光二极管(LED)因其独特的优势逐渐取代传统光源,成为大功率区域...

关键字: 发光二极管 驱动电源 LED

LED通用照明设计工程师会遇到许多挑战,如功率密度、功率因数校正(PFC)、空间受限和可靠性等。

关键字: LED 驱动电源 功率因数校正

在LED照明技术日益普及的今天,LED驱动电源的电磁干扰(EMI)问题成为了一个不可忽视的挑战。电磁干扰不仅会影响LED灯具的正常工作,还可能对周围电子设备造成不利影响,甚至引发系统故障。因此,采取有效的硬件措施来解决L...

关键字: LED照明技术 电磁干扰 驱动电源

开关电源具有效率高的特性,而且开关电源的变压器体积比串联稳压型电源的要小得多,电源电路比较整洁,整机重量也有所下降,所以,现在的LED驱动电源

关键字: LED 驱动电源 开关电源

LED驱动电源是把电源供应转换为特定的电压电流以驱动LED发光的电压转换器,通常情况下:LED驱动电源的输入包括高压工频交流(即市电)、低压直流、高压直流、低压高频交流(如电子变压器的输出)等。

关键字: LED 隧道灯 驱动电源
关闭