一颗小芯片的验证模块划分

任何芯片都需要把芯片划分成更便于管理的小模块/特性进行验证。在这里，引入特性(feature)验证的概念，即根据被测芯片的特性分配验证资源和人力。这样做虽然简化了验证资源分配和验证经理跟踪验证进度的难度，但也带来很大的完备性风险。一个特性很少能完全独立于其他特性。多个特性经常共享芯片的资源，它们会相互协作完成整颗芯片的预期功能。因此，单独验证某个特性可能无法发现那些只在特性间交互时才会表现出来的bug。在完成相应特性验证之后，各个特性的验证负责人完全可以跳出原有的思维，不需要进行这样的划分，应该根据整颗芯片的预期功能而不是某个单一特性来划分。验证人员就可以选择一些合适的特性组合，目的就是验证一些整颗芯片的预期功能。芯片验证人员应该探索芯片的运行路径，以不同的顺序执行许多特性。 ………………………………