在我之前的博客文章“如何驗(yàn)證 AMBA 系統(tǒng)級(jí)環(huán)境？”中，我們討論了如何使 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)境，我們可以將其配置為根據(jù)需要實(shí)例化任意數(shù)量的 AXI/AHB/APB VIP，只需最少的附加代碼。

為了驗(yàn)證連接 SoC 內(nèi) IP 塊和子系統(tǒng)的互連結(jié)構(gòu)，有必要檢查數(shù)據(jù)通過互連時(shí)的正確性和完整性。這就是 AMBA 系統(tǒng)監(jiān)視器為我們所做的。它還確保事務(wù)正確路由到其相應(yīng)的從屬服務(wù)器。

由于互連行為始終是特定于設(shè)計(jì)的，因此可以擴(kuò)展和自定義 AMBA 系統(tǒng)監(jiān)視器，以實(shí)現(xiàn)特定于設(shè)計(jì)的檢查。可以將用戶創(chuàng)建的規(guī)則添加到系統(tǒng)監(jiān)視器檢查中。

AMBA 系統(tǒng)監(jiān)視器駐留在 AMBA 系統(tǒng)環(huán)境中。它對(duì)系統(tǒng)中所有主站和從站的所有端口監(jiān)視器具有完全可見性。憑借這種可見性，系統(tǒng)監(jiān)視器能夠跨系統(tǒng)內(nèi)的所有AHB，APB和AXI端口執(zhí)行所有系統(tǒng)級(jí)檢查。系統(tǒng)監(jiān)視器具有內(nèi)置的覆蓋模型，該模型涵蓋跨協(xié)議的事務(wù)流。覆蓋模型知道系統(tǒng)配置。這確保了我們獲得良好的功能覆蓋。

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

審核編輯：郭婷