大家好,我是谷公子,上节课跟大家分享了如何在芯片验证中开发出更有效的激励。这次我们继续来讲激励开发。
一般来说,在所有的激励开发中效率最低的是漫无目的的随机激励,就是在所有可能的输入值中随机选取某个值来对芯片进行验证的过程。就发现最多错误的可能性而言,除非你是金手指,否则随机选取产生的验证用例集基本不可能是理想的或接近理想的子集。鉴于我们都是普通人,选取激励输入前还是需要经过一定的思考和选择。今天我们来讲一下通常的思考、选择过程。
目前有三种常用的激励设计方法,分别是:黑盒设计、白盒设计和灰盒设计。黑盒设计顾名思义就是把芯片看作一个黑盒,激励设计思路完全来源于芯片输入输出规范,不需要去了解芯片的内部结构和机制。白盒设计与黑盒设计相反,芯片内部对验证人员全部可见,因此可以对芯片的内部逻辑结构进行检查,从中获取激励设计的思路。黑盒设计和白盒设计各有优缺点,我们后面会展开讲述。灰盒设计是将黑盒设计和白盒设计的优势要素组合起来,得到一种更为合理且严谨的激励设计方法。我们首先来看黑盒设计激励的方法。
分享视频链接如下: