Checks和coverage是覆蓋率驅(qū)動的驗證流程的關(guān)鍵。在驗證環(huán)境中，Checks和coverage可以被定義在多個位置。

在Classes中實現(xiàn)Checks和Coverage

uvm_monitor的派生類總是存在于agent中，因此包含必要的Checks和Coverage。下面是一個斷言檢查的簡單例子，傳輸?shù)膕ize字段是1、2、4或8。否則斷言失敗。

check也可以寫成函數(shù)的形式，例如檢查size字段的值與動態(tài)數(shù)組的size相匹配。

這兩個檢查都應(yīng)該在transfer被monitor收集時執(zhí)行。由于這些check是在同一時間發(fā)生的，所以可以封裝成一個函數(shù)，這樣就只需要進行一次調(diào)用。

功能覆蓋是通過SystemVerilog covergroups實現(xiàn)的，下面是一個簡單的covergroups的例子。

這個covergroup被定義在一個從uvm_monitor派生出來的類里面。對于上述covergroup，應(yīng)該在一個函數(shù)中聲明作為coverpoints的局部變量，然后對covergroup進行采樣。

SystemVerilog沒有提供動態(tài)數(shù)組覆蓋率收集的能力，這個函數(shù)實現(xiàn)了這個功能。perform_transfer_coverage()函數(shù)會像 perform_transfer_checks()一樣，在transaction被monitor收集時調(diào)用。

在Interfaces中實現(xiàn)Checks和Coverage

InterfacesChecks被實現(xiàn)為assertions，以檢查信號協(xié)議為主。例如，一個斷言可能會檢查一個地址在有效的傳輸過程中從未出現(xiàn)過X。

在Formal FPV中，

當(dāng)property表達DUT的內(nèi)部和輸出行為時，使用assert進行檢查。

當(dāng)property表達產(chǎn)生DUT激勵的環(huán)境行為時，就使用assume約束。

控制Checks和Coverage

應(yīng)該提供一個字段來控制Checks是否被執(zhí)行和Coverage是否被收集，該字段可以通過uvm_config_db接口來控制。下面是一個使用checks_enable位來控制Checks的例子。

if (checks_enable)
  perform_transfer_checks();

uvm_config_db#(int)::set(this,"masters[0].monitor", "checks_enable", 0);

?

審核編輯：劉清