积分商城

最新搜索： NUC97 24C16源码 DAC8830 自动切换量程 freertos 空调外机
您现在的位置是：首页 > 笔记 > 验证中发现和定位Bug，怎么做好验证工作
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

验证中发现和定位Bug，怎么做好验证工作

更新时间：2019-10-13 18:14:34 大小：576K 上传用户：小士步载查看TA发布的资源 标签：system veriloguvm 下载积分：2分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

数字ic验证中发现和定位Bug，怎么做好验证工作

部分文件列表

文件名 大小
转夏晶帖：总结我的思路，如何在验证中发现和定位Bug.pdf 576K

【关注视频号领20积分】   【关注公众号立即送20积分】

部分页面预览

（完整内容请下载后查看）
Document Title  
Security Level:  
有人认为我验证做得很牛，也有人认为我的验证早就丢下了；有人认为我发现了各个项  
目的不少问题，也有人认为我在 CMM 库的几百个问题单大部分属纯净水。  
好吧，无论怎样，我还是把我在验证中如何发现和定位 Bug 的思路稍微描述总结一下，  
纯属灌水。以前华仔曾经叫我写过一次，我随手写了一点点，这次还是详细一点吧，主要分  
几点：视角、技巧、思路、经验。  
这里主要还是共享给验证的同志们，但对设计的同志其实我觉得是没有什么差别的。  
目的：  
发现 Bug，发现所有的 Bug，或者证明没有 Bug，是验证存在的唯一目的。无论任何验  
证语言、任何验证环境、任何验证方法学、任何 Feature List，都是为了达成这一目的而使  
用的方法，或者所手段。偏离了这一目的任何工作和努力，都是屎、大便、Shit。  
绝对不要被任何华丽的技巧、方法、经验所迷惑，无论验证环境有多么美丽，无论验证  
语言有多么的 High Level，都不要迷惑。不要为了追求完美、高效的环境而沉迷其中，陷阱  
往往就在美丽的后面。有时候，最简单的，才是最直接的，任何武术，直拳最有效。  
以 SV 为例，SV 有高层次的语法和结构，能够更大限度发挥激励的控制和 Random 测  
试的效率。但是对于发现 Bug 的目的而言，它只对其中的 20%目标达成有突出贡献，而剩  
余的 80%，其作用和普通的 Verilog 并无二致。当然，我不是指要放弃 SV，因为其有效贡  
献的 20%工作，是普通 Verilog 很难或者无法完成的工作。OK，所以顺便涉及另一个问题，  
设计人员需要学习 SV 吗？有多少设计人员能够在检视或简单 UT 中发现 80%的 Bug，而需  
要 SV 去完成最后 20%？不要看见别人用 SV，就屁颠屁颠地跟潮流，想清楚 SV 能为达成最  
终的目的带来什么贡献才是关键。设计人员和验证人员相互沟通，真正的障碍是验证方法学，  
而不是验证语言。  
以 TC 为例，对于一个验证人员，跑通全部 TC，意味什么？代码覆盖率 100%，意味什  
么？验证差不多完成？在我看来，相当于验证工作大致完成了 90%，而有一句老话怎么说  
的？行百里路，半九十。也就是所，实际上剩下 10%，才是最艰辛的工作。也许某条 TC  
什么也没干，然后因为什么也没干而 Pass 了，或者没有实现验证者的意图，所以也 Pass 了。  
只有，而且也只有，有充足信心证明全部 Bug 被发现、或者没有 Bug。但这个充足的  
信心怎样说明？后面我再详细说明。  
视角：  
有多大的视角，就能发现多少的 Bug。引用 CCTV 的一句台词，心有多大，舞台就有多  
大。  
我比较不喜欢看到的，就是一个验证人员跑来告诉设计人员，说某某 TC Fail 了，波形  
在 XXX，请分析。我不能认定这位验证人员的工作是否合格，只能表达强烈的情绪，特别是  
最后发现 Fail 的原因是验证环境问题的时候。这种验证人员，对设计人员、项目经理，都是  
巨大的风险。因为设计和验证，是一定需要有交集的，并且耦合越大，风险越小，只能提  
Feature、写 TC 的验证人员，就像初三的新月一样，反而需要别人去耦合，如果设计人员视  
野不足，野心不够，就存在空隙了。  
2019-04-13  
HUAWEI Confidential  
Page1, Total16  

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

热门下载

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号