數字驗證流程

2022-07-17 11:15:10 字數 599 閱讀 5550

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的強韌性,也是乙個迭代的過程

驗證數字輸入

static bool isnumeric string str return true 方法二 private bool isnumeric string s private bool isnumeric string s char ch0 0 char ch9 9 for int i 0 i s...

js數字驗證

今天在做bug修復的時候,需要對輸入框中的內容進行檢驗,如何來進行檢驗 function submitck if reg.test txtemail val 常常使用的js的驗證 驗證數字的正規表示式集 驗證數字 0 9 驗證n位的數字 d 驗證至少n位數字 d 驗證m n位的數字 d 驗證零和非零...

js驗證數字

驗證數字的正規表示式集 驗證數字 0 9 驗證n位的數字 d 驗證至少n位數字 d 驗證m n位的數字 d 驗證零和非零開頭的數字 0 1 9 0 9 驗證有兩位小數的正實數 0 9 0 9 驗證有1 3位小數的正實數 0 9 0 9 驗證非零的正整數 1 9 0 9 驗證非零的負整數 1 9 0 ...