在之前的博客中，我討論了在驗證基于 AMBA 的子系統的復雜 SOC 時面臨的一些關鍵驗證挑戰。據指出，建立一個可擴展的基于AMBA的核查環境確實是有益的，這種環境可以作最低限度的調整，以便可以重新用于新的系統或衍生物。

為了使 SOC 驗證工程師能夠創建高度可配置的 AMBA 結構，系統環境應提供占位符，用于將 DUT 與任何典型的 AMBA VIP 組件（如 AXI3/4/ACE、AHB 或 APB）掛鉤。通過使用 AMBA 系統環境，我們可以將其配置為使用最少的附加代碼實例化盡可能多的 AXI/AHB/APB VIP。因此，這樣的環境需要封裝以下內容：

氣系統環境

AXI （3/4/ACE） 系統環境

AHB系統環境

APB 系統環境

虛擬序列器

AMBA 系統監視器陣列

AMBA 系統環境的配置描述符，可用于配置底層 CHI/AXI/AHB/APB 系統環境

下圖顯示了此類驗證環境的表示形式：

讓我們看看UVM中的哪些功能可以派上用場，為一些重要的系統級功能創建強大的環境：

分層虛擬序列器，以實現各種組件之間的同步：管理總線結構同步的系統序列器可以建模為虛擬序列器，并引用 CHI System Env、AXI System Env、AHB System Env 和 APB System Env 中的虛擬序列器。

利用分析端口進行系統級檢查、評分板和響應處理：理想情況下，CHI、AXI、AHB 和 APB 主代理和從代理中的每個端口監視器都有一個分析端口。在事務結束時，主代理和從代理分別將完成的事務對象寫入分析端口。可以指定此類上游端口和下游端口，供系統監視器用于跟蹤結構中的轉換和響應以及執行路由檢查。

使用回調啟用用戶擴展并提取覆蓋范圍和吞吐量度量： 回調是一種訪問機制，允許插入用戶定義的代碼，并允許在 AMBA 系統環境中訪問對象以進行性能分析和吞吐量測量。

要在系統環境中的虛擬序列器上運行的綜合序列庫： UVM 允許將序列的邏輯集合注冊到序列庫，并且此集合可以在關聯的序列器上執行。然后，系統級序列器協調這些序列集合在不同序列器的執行，以創建有趣的場景組合，同時針對系統級激勵視角的最大覆蓋范圍

從驗證的角度來看，系統級檢查是關鍵。如前所述，它們可以包括：

跨 CHI、AXI、AHB 和 APB 端口的數據完整性檢查

跨 CHI、AXI、AHB 和 APB 端口的事務路由檢查

審核編輯：郭婷