任何芯片都需要把芯片劃分成更便于管理的小模塊/特性進行驗證。

在這里，引入特性(feature)驗證的概念，即根據(jù)被測芯片的特性分配驗證資源和人力。這樣做雖然簡化了驗證資源分配和驗證經(jīng)理跟蹤驗證進度的難度，但也帶來很大的完備性風(fēng)險。

一個特性很少能完全獨立于其他特性。多個特性經(jīng)常共享芯片的資源，它們會相互協(xié)作完成整顆芯片的預(yù)期功能。因此，單獨驗證某個特性可能無法發(fā)現(xiàn)那些只在特性間交互時才會表現(xiàn)出來的bug。

在完成相應(yīng)特性驗證之后，各個特性的驗證負責(zé)人完全可以跳出原有的思維，不需要進行這樣的劃分，應(yīng)該根據(jù)整顆芯片的預(yù)期功能而不是某個單一特性來劃分。

驗證人員就可以選擇一些合適的特性組合，目的就是驗證一些整顆芯片的預(yù)期功能。芯片驗證人員應(yīng)該探索芯片的運行路徑，以不同的順序執(zhí)行許多特性。

各種特性之間的相互作用

驗證生涯中大量存在驗證人員竭盡全力驗證一個特性后沒發(fā)現(xiàn)bug，可是當它與其他特性進行交互時卻存在bug的情況。

從理論上說，只有把所有的特性兩個一組成對驗證，然后再三個一組，四個一組，等等.....·才可能確定它們之間的交互是否存在bug。

很明顯，使用這樣窮盡驗證的策略是不現(xiàn)實的，而且在多數(shù)情況下也沒有必要。

通過詢問一系列的問題可以指導(dǎo)確定是否需要將兩個特性放在一起驗證。首先從特性列表中隨意選取兩項，然后問自己下面這些問題。

有關(guān)輸入的問題: 這兩個特性會不會處理同一個輸入?

有關(guān)輸出的問題: 這兩個特性功能是否影響同一個輸出?

有關(guān)數(shù)據(jù)的問題: 這兩個特性會操作其共享的一些內(nèi)部數(shù)據(jù)?是讀取還是修改共享數(shù)據(jù)?

如果對以上任何一個問題的回答是“是”，那么這兩個功能就會相互交互，因此需要放在一起驗證。

審核編輯：劉清