黑盒驗證、白盒驗證和灰盒驗證有什么區(qū)別？
時間：2021-11-11 14:52:41
手機(jī)看文章
掃描二維碼
隨時隨地手機(jī)看文章
[導(dǎo)讀]黑盒驗證：?大多數(shù)基于仿真的驗證環(huán)境都是黑盒驗證。驗證工程師學(xué)習(xí)設(shè)計的規(guī)格，然后編寫驗證環(huán)境中的drivers,monitors,checkers,和scoreboard。整個過程中，驗證工程師對設(shè)計的內(nèi)部實現(xiàn)知之甚少。黑盒驗證有利也有弊。有利的一方面是，DUT內(nèi)部的結(jié)構(gòu)變化對驗...
黑盒驗證：?
大多數(shù)基于仿真的驗證環(huán)境都是黑盒驗證。驗證工程師學(xué)習(xí)設(shè)計的規(guī)格，然后編寫驗證環(huán)境中的 drivers, monitors, checkers,和scoreboard。整個過程中，驗證工程師對設(shè)計的內(nèi)部實現(xiàn)知之甚少 。
黑盒驗證有利也有弊。有利的一方面是，DUT內(nèi)部的結(jié)構(gòu)變化對驗證環(huán)境影響很小，比如設(shè)計內(nèi)部增加打拍邏輯對驗證幾乎沒有影響，設(shè)計和驗證相對比較獨(dú)立。?
白盒驗證：和黑盒驗證的優(yōu)缺點(diǎn)正好相反，白盒驗證需要驗證工程師充分理解DUT的內(nèi)部結(jié)構(gòu)。驗證工程師可以觀察設(shè)計內(nèi)部信號，預(yù)測內(nèi)部FIFO、流水線、狀態(tài)機(jī)等微架構(gòu)行為，并添加相應(yīng)的檢查。也就是說，白盒驗證常常能夠在設(shè)計源頭上發(fā)現(xiàn)bug，而不用等到bug已經(jīng)體現(xiàn)到了接口上。?白盒驗證和設(shè)計微結(jié)構(gòu)緊密聯(lián)系在一起，僅僅是設(shè)計內(nèi)部信號名的修改，驗證環(huán)境也要同步修改，維護(hù)成本比較高。因此，我們應(yīng)該只在低層次等級上進(jìn)行白盒驗證，盡量對微架構(gòu)有足夠的了解，但是也不要被設(shè)計的verilog代碼所引導(dǎo)。?灰盒驗證：灰盒驗證介于白盒驗證和黑盒驗證之間，這個“灰”也可以理解為灰度吧，每個驗證工程師所負(fù)責(zé)的模塊是應(yīng)該更黑一點(diǎn)還是更白一點(diǎn)，這也是無法考究的。?灰盒驗證存在的另一個原因是作為黑盒驗證的助手，對于cache這樣的設(shè)計，我們無法從端到端實時預(yù)測輸出結(jié)果，這時候就需要借助一些設(shè)計內(nèi)部信號。當(dāng)然，需要強(qiáng)調(diào)的是，這個內(nèi)部信號需要經(jīng)過充分的驗證和檢視確認(rèn)。???
大多數(shù)基于仿真的驗證環(huán)境都是黑盒驗證。驗證工程師學(xué)習(xí)設(shè)計的規(guī)格，然后編寫驗證環(huán)境中的 drivers, monitors, checkers,和scoreboard。整個過程中，驗證工程師對設(shè)計的內(nèi)部實現(xiàn)知之甚少 。
黑盒驗證有利也有弊。有利的一方面是，DUT內(nèi)部的結(jié)構(gòu)變化對驗證環(huán)境影響很小，比如設(shè)計內(nèi)部增加打拍邏輯對驗證幾乎沒有影響，設(shè)計和驗證相對比較獨(dú)立。?
白盒驗證：和黑盒驗證的優(yōu)缺點(diǎn)正好相反，白盒驗證需要驗證工程師充分理解DUT的內(nèi)部結(jié)構(gòu)。驗證工程師可以觀察設(shè)計內(nèi)部信號，預(yù)測內(nèi)部FIFO、流水線、狀態(tài)機(jī)等微架構(gòu)行為，并添加相應(yīng)的檢查。也就是說，白盒驗證常常能夠在設(shè)計源頭上發(fā)現(xiàn)bug，而不用等到bug已經(jīng)體現(xiàn)到了接口上。?白盒驗證和設(shè)計微結(jié)構(gòu)緊密聯(lián)系在一起，僅僅是設(shè)計內(nèi)部信號名的修改，驗證環(huán)境也要同步修改，維護(hù)成本比較高。因此，我們應(yīng)該只在低層次等級上進(jìn)行白盒驗證，盡量對微架構(gòu)有足夠的了解，但是也不要被設(shè)計的verilog代碼所引導(dǎo)。?灰盒驗證：灰盒驗證介于白盒驗證和黑盒驗證之間，這個“灰”也可以理解為灰度吧，每個驗證工程師所負(fù)責(zé)的模塊是應(yīng)該更黑一點(diǎn)還是更白一點(diǎn)，這也是無法考究的。?灰盒驗證存在的另一個原因是作為黑盒驗證的助手，對于cache這樣的設(shè)計，我們無法從端到端實時預(yù)測輸出結(jié)果，這時候就需要借助一些設(shè)計內(nèi)部信號。當(dāng)然，需要強(qiáng)調(diào)的是，這個內(nèi)部信號需要經(jīng)過充分的驗證和檢視確認(rèn)。???
下載文檔
