覆蓋驅動驗證

UVM提供了實現 覆蓋驅動驗證（coverage-driven verification ，CDV） 的框架。 CDV結合了自動測試向量生成，自檢查和覆蓋率收集，顯著地縮短了用于驗證設計時間。

CDV流程與傳統的定向測試流程不同。CDV從驗證目標開始，創建一個生成測試向量的測試平臺并將其發送給DUT。將覆蓋率監視器添加到測試平臺中以測量驗證進度并確定未驗證的功能。添加Checker以識別錯誤的DUT行為。

仿真在實現覆蓋模型和測試平臺之后啟動。

可以在測試平臺的基礎結構上，添加約束以盡快達到驗證目標。

CDV環境支持定向和隨機約束測試。在編寫耗時的定向測試去驗證復雜的場景之前，先讓隨機約束測試完成大部分工作。

基于抽象層次的測試平臺（ 不依賴于實現細節 ），更具可讀性和可重用性。

測試平臺和環境

UVM測試平臺由稱為 驗證組件 （verification components）的可重用驗證環境組成。

下圖顯示了具有三個接口驗證組件的驗證環境示例。

驗證組件

數據（Transaction）： 數據表示被測設計（DUT）的輸入。在測試平臺中，使用SystemVerilog隨機約束數據，以創建大量有意義的數據和最大化覆蓋率。

** Driver （BFM）** ：Driver模擬DUT的邏輯。Driver反復接收數據并將其驅動到DUT。例如，控制讀/寫信號，地址總線和數據總線。

Sequencer： sequencer是一種激勵發生器，用于提供給Driver數據。在sequencer中向數據項添加約束，用于控制隨機值的分布。

Monitor： Monitor對DUT信號進行采樣但不驅動DUT。 Monitor收集覆蓋率信息，檢查DUT輸出是否滿足協議規范。Monitor收集事務（數據）。Monitor從總線中提取信號信息并翻譯成可供其他組件使用的事務。一般還會在Monitor****中打印跟蹤信息。

Agent： Sequencers, drivers, and monitors可以獨立重用，但這需要了解每個實體的名稱，配置和連接。 為了減少驗證工程師的工作量和知識需求，UVM建議驗證環境開發人員創建更多抽象容器agent。 agent封裝了driver,sequencer, and monitor，可以驅動和監視DUT。

agent應該是可配置的，以便它們可以是active或者passive。 Active agents驅動事務。 Passive agents僅監控DUT。

Environment： Environment是top-level的驗證組件。它包含一個或多個agents，以及其他組件。

UVM可以提供了驗證流程和測試平臺基礎架構，用戶只需要用特定于IP的組件替換一些現有的組件。

UVM類庫提供了許多驗證所需的功能，下圖中的每個組件都是派生自相應的UVM類庫的組件。

使用這些基類增加了代碼的可讀性，因為每個組件的角色都是由其父類預先確定的。