基于AMBA的子系統(tǒng)：驗(yàn)證它們需要什么

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

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

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

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

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

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

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

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

審核編輯：郭婷