驗證的重要性

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

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

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

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

驗證人員主要工作

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

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

驗證周期

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

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

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

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

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

· 硅后系統(tǒng)測試（芯片返回后，系統(tǒng)測試人員依照系統(tǒng)的集成順序從底層模塊開始測試，在測試之前，需要將芯片同測試開發(fā)板相結(jié)合，或?qū)⑿酒踩氲酱_發(fā)的系統(tǒng)上，在測試過程中硅前人員與硅后人員要保持聯(lián)系）

· 逃逸分析