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

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

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

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

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

各種特性之間的相互作用

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

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

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

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

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

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

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

如果對(duì)以上任何一個(gè)問題的回答是“是”，那么這兩個(gè)功能就會(huì)相互交互，因此需要放在一起驗(yàn)證。

審核編輯：劉清