讓我們看一下我們今天發現的 SOC 中一個典型的基于 AMBA 的子系統：

從這張圖片中，我清楚地看到不同口味的多個AMBA組件的優勢（AXI3 / 4，ACE，AHB，APB）。因此，即使我們有所有不同的 VIP 來代表這些 .不同的口味，就完成完整子系統的驗證而言，這并不是一個灌籃。將所有這些組件拼接在一起并提出這樣一個驗證環境本身就是一個巨大的挑戰。為了應對每4-6個月出貨一次新設備的市場壓力，SoC公司正在逐步向現有平臺添加新的設計模塊。鑒于這些時間限制，無法從頭開始再次開發新的核查環境。如果我們深入挖掘，我們會看到引入 SoC 更改所需的驗證類型：

確保數據完整性： 維護跨系統環境不同塊的數據流的完整性非常重要。這是因為每個塊或子系統都有自己的事務類型，它在子系統內與之通信例如，當多個 AXI-ACE 主站通過互連結構與多個 AHB 從存儲器通信時，AXI 相干事務應轉換為 AHB 事務。

事務路由：系統級驗證環境的一個重要目標是確保跨各個組件路由的不同事務符合指定的內存映射。

同步：多個 AMBA 組件之間需要有足夠的同步。這對于產生有意義的刺激很重要。

連接：在具有多個 AMBA 組件實例的系統環境中，需要確保它們已按照規范掛鉤。這要求在測試平臺中正確連接各種AMBA總線功能模型。

系統級檢查、性能分析：盡管各個模塊的檢查很重要，但隨著我們逐步進入系統級別，驗證環境需要能夠跨系統內的所有AHB，APB和AXI端口執行所有系統級檢查。它還需要涵蓋跨協議的事務流，同時分析破產矩陣在吞吐量、延遲等方面的性能。

此外，上述要求需要在原始系統級基礎設施的多個變體中解決。

審核編輯：郭婷