1.熟讀項目文檔,包括設計文檔,接口文檔等
2.根據文檔提取測試點,測試點分解分類有:數據流功能點,寄存器,DFX功能,異常等
3.編寫組件驗證代碼,與完整的驗證環境相比,缺少DUT,主要為了驗證接口組件,用於搭建整體環境。包括transation,sequence,sequencer,driver,monitor,scoreboard,以及agent
3.搭建驗證環境,各組件具體含義參考《UVM應用指南及源碼分析》,在驗證RTL之前,首先進行環境自測試,完成環境自測試后,完成RM,RM實現與RTL代碼相同的功能,只是使用SV編寫的沒有時序的代碼,最后將RM輸出的數據流和RTL(DUT)輸出的數據流,在Scoreboard里比較。

4.編寫TC,功能覆蓋率,實現功能覆蓋率的收集
根據測試點相應的TC以及功能覆蓋率模型,以上跑通后,make cov,收集覆蓋率,打開dve查看覆蓋率收集情況
5.重復4,完成多個TC的編寫以及覆蓋率的收集,這是個不斷迭代的過程
6.跑回歸,實現TC種子的隨機性,完善RTL的強韌性,也是一個迭代的過程
