当前位置:首页 > 公众号精选 > ZLG致远电子
[导读]黑盒验证: 大多数基于仿真的验证环境都是黑盒验证。验证工程师学习设计的规格,然后编写验证环境中的drivers,monitors,checkers,和scoreboard。整个过程中,验证工程师对设计的内部实现知之甚少。黑盒验证有利也有弊。有利的一方面是,DUT内部的结构变化对验...

黑盒验证: 


大多数基于仿真的验证环境都是黑盒验证。验证工程师学习设计的规格,然后编写验证环境中的 drivers, monitors, checkers,和scoreboard。整个过程中,验证工程师对设计的内部实现知之甚少 。


黑盒验证有利也有弊。有利的一方面是,DUT内部的结构变化对验证环境影响很小,比如设计内部增加打拍逻辑对验证几乎没有影响,设计和验证相对比较独立。 


白盒验证:

和黑盒验证的优缺点正好相反,白盒验证需要验证工程师充分理解DUT的内部结构。验证工程师可以观察设计内部信号,预测内部FIFO、流水线、状态机等微架构行为,并添加相应的检查。也就是说,白盒验证常常能够在设计源头上发现bug,而不用等到bug已经体现到了接口上。

 

白盒验证和设计微结构紧密联系在一起,仅仅是设计内部信号名的修改,验证环境也要同步修改,维护成本比较高。因此,我们应该只在低层次等级上进行白盒验证,尽量对微架构有足够的了解,但是也不要被设计的verilog代码所引导。

 

灰盒验证:

灰盒验证介于白盒验证和黑盒验证之间,这个“灰”也可以理解为灰度吧,每个验证工程师所负责的模块是应该更黑一点还是更白一点,这也是无法考究的。 灰盒验证存在的另一个原因是作为黑盒验证的助手,对于cache这样的设计,我们无法从端到端实时预测输出结果,这时候就需要借助一些设计内部信号。当然,需要强调的是,这个内部信号需要经过充分的验证和检视确认。 

  

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