如何驗證AMBA系統(tǒng)級環(huán)境

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

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

氣系統(tǒng)環(huán)境

AXI （3/4/ACE） 系統(tǒng)環(huán)境

AHB系統(tǒng)環(huán)境

APB 系統(tǒng)環(huán)境

虛擬序列器

AMBA 系統(tǒng)監(jiān)視器陣列

AMBA 系統(tǒng)環(huán)境的配置描述符，可用于配置底層 CHI/AXI/AHB/APB 系統(tǒng)環(huán)境

下圖顯示了此類驗證環(huán)境的表示形式：

讓我們看看UVM中的哪些功能可以派上用場，為一些重要的系統(tǒng)級功能創(chuàng)建強大的環(huán)境：

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

利用分析端口進行系統(tǒng)級檢查、評分板和響應處理：理想情況下，CHI、AXI、AHB 和 APB 主代理和從代理中的每個端口監(jiān)視器都有一個分析端口。在事務結束時，主代理和從代理分別將完成的事務對象寫入分析端口?？梢灾付ù祟惿嫌味丝诤拖掠味丝?，供系統(tǒng)監(jiān)視器用于跟蹤結構中的轉(zhuǎn)換和響應以及執(zhí)行路由檢查。

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

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

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

跨 CHI、AXI、AHB 和 APB 端口的數(shù)據(jù)完整性檢查

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

審核編輯：郭婷