一、验证策略
面对一个新的芯片验证需求,应该采用哪些验证方法、各子系统验证如何分工和配合、业务特性的软硬件如何验证覆盖等,验证策略就是用来回答这些问题。验证策略可以划分为两个维度:广度(按照层次)、深度(按照透明度)。
1.1、验证策略——广度
从系统定义阶段开始,我们将芯片系统划分为子系统,进而又为每个系统划分为不同的功能模块,直到划分到复杂度合适的模块。而到了设计阶段,又按照自底向上的方式开始做硬件设计和集成。从定义阶段到设计阶段再到后端部分,我们整个硅前的流程都是将芯片按照层次划分的,我们称之为芯片系统(chip level/system level)、子系统级(sub-system level)和模块级(module level/unit level)。
因此,验证人员要清楚哪些功能点在模块级验证、哪些是属于子系统验证和芯片系统验证、最后实现各个层次的验证。
1.2、验证策略——深度
按照深度可以划分为:黑盒验证、白盒验证和灰盒验证。
黑盒验证:只关心结果正确,不关心过程正确与否,对DUT内部设计细节不关心。
白盒验证:不仅关系结果的正确,还需要对DUT内部设计有完成的理解和观察能力,确保DUT的运算过程100%正确。
灰盒验证介于白盒验证和黑盒验证之间