讓我們看一下我們今天發(fā)現(xiàn)的 SOC 中一個典型的基于 AMBA 的子系統(tǒng)：

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

確保數(shù)據(jù)完整性： 維護(hù)跨系統(tǒng)環(huán)境不同塊的數(shù)據(jù)流的完整性非常重要。這是因?yàn)槊總€塊或子系統(tǒng)都有自己的事務(wù)類型，它在子系統(tǒng)內(nèi)與之通信例如，當(dāng)多個 AXI-ACE 主站通過互連結(jié)構(gòu)與多個 AHB 從存儲器通信時(shí)，AXI 相干事務(wù)應(yīng)轉(zhuǎn)換為 AHB 事務(wù)。

事務(wù)路由：系統(tǒng)級驗(yàn)證環(huán)境的一個重要目標(biāo)是確保跨各個組件路由的不同事務(wù)符合指定的內(nèi)存映射。

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

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

系統(tǒng)級檢查、性能分析：盡管各個模塊的檢查很重要，但隨著我們逐步進(jìn)入系統(tǒng)級別，驗(yàn)證環(huán)境需要能夠跨系統(tǒng)內(nèi)的所有AHB，APB和AXI端口執(zhí)行所有系統(tǒng)級檢查。它還需要涵蓋跨協(xié)議的事務(wù)流，同時(shí)分析破產(chǎn)矩陣在吞吐量、延遲等方面的性能。

此外，上述要求需要在原始系統(tǒng)級基礎(chǔ)設(shè)施的多個變體中解決。

審核編輯：郭婷