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

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

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

由于互連行為始終是特定于設計的，因此可以擴展和自定義 AMBA 系統(tǒng)監(jiān)視器，以實現(xiàn)特定于設計的檢查?？梢詫⒂脩魟?chuàng)建的規(guī)則添加到系統(tǒng)監(jiān)視器檢查中。

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

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

審核編輯：郭婷