為了確保驗證的完備性，我們需要量化驗證目標。SystemVerilog提供了一套豐富的覆蓋率建模方式。有兩種覆蓋率建模方法：

functional coverage。用戶指定覆蓋率的目標，所需覆蓋的值和收集的時刻。完成所有覆蓋率的收集是確定DUT驗證完成情況的指標之一。

code-coverage。通常情況下，創建一個code-coverage很簡單，不需要花費很多精力。例如，行覆蓋率、toogle覆蓋率和FSM（有限狀態機）覆蓋率都是code-coverage。code-coverage的缺點是很難將code-coverage映射到驗證特性目標上,code-coverage沒有考慮到high-level的事務級行為。

建議從functional coverage開始建立一個功能覆蓋率模型來表示high-level驗證目標,之后可以使用code-coverage作為作為functional coverage的補充。

在code-coverage很低的情況下達到100%的functional coverage，通常意味著需要完善和加強functional coverage建模。

實現Functional Coverage Model

一個驗證組件應該有一個針對協議的功能覆蓋模型。你可能想禁用一些不重要或不需要驗證的覆蓋點。例如，你可能不需要測試系統中所有的總線事務類型。

你可能還想擴展功能覆蓋模型，在驗證組件覆蓋率和系統中的其他屬性或其他接口驗證組件之間建立關聯。例如，你可能想確保當FIFO已經滿時所有類型的事務都被發送過，這就需要事務類型與FIFO-狀態之間的cross。

啟用和禁用Coverage

驗證IP開發者應提供配置，允許驗證環境集成者或測試用例開發人員控制覆蓋率模型的Enable和Disabe。驗證VIP文檔應該包括哪些屬性可以被設置來影響覆蓋率的收集，最基本的控制是決定是否要收集覆蓋率。

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


或者
ubus0.masters[0].monitor.coverage_enable = 0;

?

審核編輯：劉清