受约束随机验证的效果真的比直接用例测试好吗？
当介绍uvm验证时大家肯定都看过上面类似的图片，以展示受约束的随机验证相比直接用例测试如何具有先进性。
但是，在实际的项目执行过程中，受约束随机验证的效果真的比直接用例测试好么？
说实话，真的不见得。可以考虑以下几种情况：
如果初期验证环境搭建得太复杂，是不是有可能直接用例已经测完了一半的特性，随机验证还没有启动。比较尴尬的局面就是再没有简单的bug可以发现了，数据上会显得随机验证的效果比较差，甚至有可能图上的time savings都没有了。
随机用例很多时候没有办法覆盖到某个指定的场景，甚至错误的覆盖率写法让你误以为覆盖了某个场景，但不进行波形确认的话可能是个假PASS。
上图中的曲线斜率是一个为了展示受约束随机的优越性而画出来的。实际项目中有可能随机效果不是很好，并不会有这么陡峭的斜率。
总之，受约束随机验证和直接用例验证并不冲突。在实际的项目中，两者需要共存。哪些方面需要增加定向用例？哪些方面需要增加随机验证？这些都是需要在验证执行过程中反复迭代的事情。
审核编辑：刘清
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。
举报投诉
-
UVM
+关注
关注
0文章
181浏览量
19119 -
PASS开关
+关注
关注
1文章
2浏览量
1253
原文标题：受约束随机验证真的比直接用例好么？
文章出处：【微信号：芯片验证工程师，微信公众号：芯片验证工程师】欢迎添加关注！文章转载请注明出处。
发布评论请先 登录
相关推荐
一种用于随机约束仿真的SAT增强的字级求解器
摘 要 随着硬件设计复杂度的激增，验证已被广泛认为是制约整个芯片设计流程的瓶颈。基于仿真的验证通常通过生成一系列满足特定布尔/位向量约束的随机
发表于 06-06 10:28
•574次阅读
PLL和FIFO的受约束问题
转移到hi_pclk_g。TIG不应该导致hi_pclk_g完全不受约束吗？谢谢，布鲁诺以上来自于谷歌翻译以下为原文I don't really understand why this happens
发表于 07-15 07:48
如何使用Alexa语音服务集成在受约束的物联网设备上设置语音命令
本指南供硬件和软件架构师学习如何使用Alexa语音服务集成在受约束的物联网设备上设置语音命令。AWS物联网核心的Alexa语音服务集成（AIA）将与Alexa Voice Services集成所需
发表于 08-02 12:53
多准则优化的规模约束型测试用例选择
软件修改之后可以重新测试之前的所有用例来发现错误，但是这种方法耗费巨大，为了减少测试用例数量，优化测试工作，本文提出了一种全新的用
发表于 11-16 09:37
•4次下载
过度约束正式的财产验证（FPV）会有什么影响
，即断言和约束，而不是测试平台。断言也用于模拟，但约束的作用是不同的。理解约束对于成功使用FPV是必要的。
PADS的视觉约束验证
很容易验证约束的间隙,高速、制造、通过计算最大,在垫和可测试性的限制。建立、保存和使用验证方案。违反可以以直观的表格只有两个鼠标点击。从电子表格自动选择一个违反规则的放大和纠正违反并迅
简述SystemVerilog的随机约束方法
上一篇文章介绍了SystemVerilog的各种随机化方法，本文将在其基础上引入SystemVerilog的随机约束方法（constraints）。通过使用随机
超级电容器它真的比电池好吗？
近些年超级电容器开始进入人的是实现是因新能源未来的电动汽车中，但是，超级电容器到底是什么，他真的跟比电池还好吗？超级电容真的是储能的未来吗？在深入探讨超级电容器是否
SystemVerilog的随机约束方法
上一篇文章《暗藏玄机的SV随机化》介绍了SystemVerilog的各种随机化方法，本文将在其基础上引入SystemVerilog的随机约束方法（constraints）。通过使用
工商网监
评论