国产在线观看w w w,成人网站在线观看精品不卡视频

當前位置：首頁 > 公眾號精選 > ZLG致遠電子

[導讀]黑盒驗證：?大多數(shù)基于仿真的驗證環(huán)境都是黑盒驗證。驗證工程師學習設計的規(guī)格，然后編寫驗證環(huán)境中的drivers,monitors,checkers,和scoreboard。整個過程中，驗證工程師對設計的內部實現(xiàn)知之甚少。黑盒驗證有利也有弊。有利的一方面是，DUT內部的結構變化對驗...

黑盒驗證：?

大多數(shù)基于仿真的驗證環(huán)境都是黑盒驗證。驗證工程師學習設計的規(guī)格，然后編寫驗證環(huán)境中的 drivers, monitors, checkers,和scoreboard。整個過程中，驗證工程師對設計的內部實現(xiàn)知之甚少。

黑盒驗證有利也有弊。有利的一方面是，DUT內部的結構變化對驗證環(huán)境影響很小，比如設計內部增加打拍邏輯對驗證幾乎沒有影響，設計和驗證相對比較獨立。?

白盒驗證：

和黑盒驗證的優(yōu)缺點正好相反，白盒驗證需要驗證工程師充分理解DUT的內部結構。驗證工程師可以觀察設計內部信號，預測內部FIFO、流水線、狀態(tài)機等微架構行為，并添加相應的檢查。也就是說，白盒驗證常常能夠在設計源頭上發(fā)現(xiàn)bug，而不用等到bug已經體現(xiàn)到了接口上。

白盒驗證和設計微結構緊密聯(lián)系在一起，僅僅是設計內部信號名的修改，驗證環(huán)境也要同步修改，維護成本比較高。因此，我們應該只在低層次等級上進行白盒驗證，盡量對微架構有足夠的了解，但是也不要被設計的verilog代碼所引導。

灰盒驗證：

灰盒驗證介于白盒驗證和黑盒驗證之間，這個“灰”也可以理解為灰度吧，每個驗證工程師所負責的模塊是應該更黑一點還是更白一點，這也是無法考究的。?灰盒驗證存在的另一個原因是作為黑盒驗證的助手，對于cache這樣的設計，我們無法從端到端實時預測輸出結果，這時候就需要借助一些設計內部信號。當然，需要強調的是，這個內部信號需要經過充分的驗證和檢視確認。?