Checks和coverage是覆蓋率驅動的驗證流程的關鍵。在驗證環境中，Checks和coverage可以被定義在多個位置。

在Classes中實現Checks和Coverage

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

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

這兩個檢查都應該在transfer被monitor收集時執行。由于這些check是在同一時間發生的，所以可以封裝成一個函數，這樣就只需要進行一次調用。

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

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

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

在Interfaces中實現Checks和Coverage

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

在Formal FPV中，

當property表達DUT的內部和輸出行為時，使用assert進行檢查。

當property表達產生DUT激勵的環境行為時，就使用assume約束。

控制Checks和Coverage

應該提供一個字段來控制Checks是否被執行和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);

?

審核編輯：劉清