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

為了使 SOC 驗(yàn)證工程師能夠創(chuàng)建高度可配置的 AMBA 結(jié)構(gòu)，系統(tǒng)環(huán)境應(yīng)提供占位符，用于將 DUT 與任何典型的 AMBA VIP 組件（如 AXI3/4/ACE、AHB 或 APB）掛鉤。通過使用 AMBA 系統(tǒng)環(huán)境，我們可以將其配置為使用最少的附加代碼實(shí)例化盡可能多的 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)境

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

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

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

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

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

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

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

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

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

審核編輯：郭婷