在我之前的博客文章“如何驗證 AMBA 系統級環境？”中，我們討論了如何使 SOC 驗證工程師能夠創建高度可配置的 AMBA 結構。

系統環境應提供占位符，用于將 DUT 與任何典型的 AMBA VIP 組件（如 AXI3/4/ACE、AHB 或 APB）掛鉤。通過使用 AMBA 系統環境，我們可以將其配置為根據需要實例化任意數量的 AXI/AHB/APB VIP，只需最少的附加代碼。

為了驗證連接 SoC 內 IP 塊和子系統的互連結構，有必要檢查數據通過互連時的正確性和完整性。這就是 AMBA 系統監視器為我們所做的。它還確保事務正確路由到其相應的從屬服務器。

由于互連行為始終是特定于設計的，因此可以擴展和自定義 AMBA 系統監視器，以實現特定于設計的檢查。可以將用戶創建的規則添加到系統監視器檢查中。

AMBA 系統監視器駐留在 AMBA 系統環境中。它對系統中所有主站和從站的所有端口監視器具有完全可見性。憑借這種可見性，系統監視器能夠跨系統內的所有AHB，APB和AXI端口執行所有系統級檢查。系統監視器具有內置的覆蓋模型，該模型涵蓋跨協議的事務流。覆蓋模型知道系統配置。這確保了我們獲得良好的功能覆蓋。

AMBA 系統監視器觀察系統中所有主站和從站的所有端口監視器上的事務，并在這些端口的事務之間執行檢查。它不執行端口級檢查：這些檢查由連接到端口的每個主/從代理的檢查器完成。系統監視器需要來自系統主端口和從端口的事務級輸入。事務級輸入是由端口級監視器作為信號級活動的結果創建的事務。系統監視器不需要信號電平輸入。事務級輸入由端口監視器提供。為了提供事務級輸入，系統監視器可以反過來實例化端口級監視器。UVM 提供了輕松連接各種組件的功能。來自每個代理的端口級監視器的所有事務都可以通過事務級建模 （TLM） 連接輕松提供給系統監視器，從而消除了在系統監視器中實例化這些端口級監視器的需要。

審核編輯：郭婷