驗證的重要性

· 根據(jù)摩爾定律，集成在一塊芯片上的晶體管數(shù)量每隔18個月將會翻一番，盡管目前摩爾定律的適用性逐漸放緩，但這芯片上龐大的晶體管數(shù)量的功能測試將變得越發(fā)的復雜，這就需要投入大量的人員用于驗證。

· 芯片從市場需求到開發(fā)再到流片所投入的資金逐層增加。若在芯片流片前未能發(fā)現(xiàn)功能性錯誤，而在流片過程中或者在用戶端手中發(fā)現(xiàn)bug，工廠將會耗費大量人力和財力來投入到修復bug中。若能在流片前，最好在驗證時發(fā)現(xiàn)大量的錯誤，一方面將會大大減輕后端修復錯誤的壓力，另一方面將為工廠節(jié)省大量的資源浪費。

· 芯片的漏洞率從設計到驗證再到后端最后到流片的波形類似于開口向下的拋物線。漏洞率在設計及驗證時達到最高，越往后漏洞越難被發(fā)掘。

· 芯片上市的窗口逐漸縮短，導致開發(fā)的周期要求逐漸縮短，逐漸縮短的時間窗口下，設計出功能完善及安全的芯片，這對芯片的驗證工程師而言是一個挑戰(zhàn)。

驗證人員主要工作

· 在設計人員用編程語言實現(xiàn)設計后，驗證人員負責搭建驗證環(huán)境，檢查設計。主要檢查的方面：
a.設計的模塊是否按照spec中的功能描述那樣去執(zhí)行。
b.檢查代碼有無漏洞或者邊界問題。
c.設計的代碼是否能穩(wěn)定處理一些錯誤情況。

· 芯片驗證的任務及目標：
a.任務主要分為：系統(tǒng)級，子系統(tǒng)級及模塊級。
b.驗證的目標：要實現(xiàn)按時，保質低耗。

驗證周期

· 創(chuàng)建驗證計劃（根據(jù)功能描述文檔中的接口信息，結構信息，交互信息等，針對一個驗證模塊來制定驗證計劃、驗證工具、驗證資源、提取驗證點、驗證策略等）。

· 開發(fā)驗證環(huán)境（根據(jù)驗證計劃，來開發(fā)所需的激勵產(chǎn)生器、驅動器、比較器等）。

· 環(huán)境的調(diào)試（檢查開發(fā)的驗證環(huán)境、測試序列、參考模型、硬件設計本身是否存在問題）。

· 回歸測試（檢查測試用例并更新，修補漏洞）。

· 芯片生產(chǎn)（在驗證結束后交由芯片生產(chǎn)商進行生產(chǎn)）。

· 硅后系統(tǒng)測試（芯片返回后，系統(tǒng)測試人員依照系統(tǒng)的集成順序從底層模塊開始測試，在測試之前，需要將芯片同測試開發(fā)板相結合，或將芯片植入到待開發(fā)的系統(tǒng)上，在測試過程中硅前人員與硅后人員要保持聯(lián)系）

· 逃逸分析