![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
验证
文章平均质量分 74
xavi_siege
这个作者很懒,什么都没留下…
展开
-
验证笔记
在Makefile里加入define需在一行完成。 在静态方法里不能使用this的变量。 monitor里只允许有一个callback,原因是由于appened时的检查,只允许一次callbck(当前的基类或者扩展类)。并且不会报错。 如果需要在一个monitor里callback两个地方,需要重载append函数。在monitor里只能有一个callback,但是在例化出原创 2013-04-11 09:20:14 · 1139 阅读 · 0 评论 -
thought about verification
抽象通常是提高和简化的常用方法。常用的低级做法是将通用的东西整合,归一化。而对于EDA验证来讲,由于仿真和结果收集的问题都较好的交给了EDA工具。而留下来的剩下方案规划,测试点,环境搭建以及问题定位。对于方案、测试点来讲考虑更多的是方法,流程。这里可以对于输出结果例如模板之类有个标准规定。而方法可以各花入各眼,各自考虑。而对于环境搭建来讲,能否提取出一个通用的环境模板出来?首先,大家的整体架构都是原创 2013-04-11 09:24:59 · 562 阅读 · 0 评论 -
验证的目的
Q:验证的目的? A:发现Bug,发现所有的Bug,或者证明没有Bug(转自夏晶的帖子) Q:对验证工程师的要求? A:Hacker mentality ,Organized testing ,Tool automation。 也就是,如何做更多的testcase、如何覆盖更多的测试点、如何充分的利用服务器、如何尽可能最大化的自动比对。转载 2013-04-11 09:17:24 · 3741 阅读 · 0 评论 -
验证随想
关于验证的scoreboard从哪里取数据: 一个从transfer,另一个处DUT处采集。 在需要被集成时,可以考虑第二种,否则用第一种方式。 环境的约束需要与设计的spec一一对应 时序描述和静态描述的区别: 在时序描述中,定位问题比较简单,但是在价格和扩展性上比较差 在非时序描述中,定位问题比较复杂,但是原创 2013-04-11 09:21:47 · 575 阅读 · 0 评论 -
ASIC 前端功能验证等级与对应年薪划分(IC验证)
对于ASIC的前端功能验证(不含SOC的IP集成验证): 1. 只会在别人搭建的环境上跑跑用例。 ------------------------------------------------年薪2. 若还会在别人搭建的环境上构造用例。------------------------------------------------年薪3. 若还会对测试点进行简单的分解,并能利转载 2013-04-15 10:56:35 · 2471 阅读 · 0 评论