在我們之前的博客中，我們提到驗(yàn)證NoC系統(tǒng)遠(yuǎn)遠(yuǎn)超出了事務(wù)路由檢查。我們能夠在SoC級(jí)別的復(fù)雜互連驗(yàn)證期間捕獲各種問(wèn)題，其中NoC具有20多個(gè)總線主控器，80多個(gè)總線從器件，以及具有不同總線協(xié)議的多個(gè)局間總線代理（如OCP 2.2，AXI 3.0，APB 3.0）。在這里，我們通過(guò)使用前兩篇文章中提到的一致方法描述了我們?cè)赟oC驗(yàn)證早期階段捕獲的一些主要問(wèn)題。

從站突發(fā)長(zhǎng)度寬度參數(shù)配置錯(cuò)誤

在我們的NoC設(shè)計(jì)中，訪問(wèn)其中一個(gè)從站是通過(guò)來(lái)自不同子互連的交換間代理，如圖所示圖1。交換機(jī)間支持的最大事務(wù)大小是從站的最大事務(wù)大小的一半。因此，通過(guò)交換間代理將針對(duì)從站的最大分組大小的單個(gè)請(qǐng)求分成兩個(gè)不同的事務(wù)。因此，從屬突發(fā)長(zhǎng)度參數(shù)被不必要地過(guò)度配置。互連記分板報(bào)告了此問(wèn)題。

圖1突發(fā)長(zhǎng)度問(wèn)題

DMA引擎的無(wú)與倫比的帶寬要求

在性能驗(yàn)證期間，性能監(jiān)視器組件報(bào)告了DMA讀寫(xiě)通道的不匹配帶寬錯(cuò)誤。由于從請(qǐng)求到請(qǐng)求和響應(yīng)響應(yīng)的互連路由延遲，DMA引擎無(wú)法限制未完成的事務(wù)。發(fā)現(xiàn)DMA引擎FIFO深度不足以滿足所需的SoC帶寬。

互連中安全相關(guān)寄存器的無(wú)效訪問(wèn)

根據(jù)我們的互連規(guī)范，只允許控制處理器訪問(wèn)互連安全相關(guān)的寄存器。但是互連設(shè)計(jì)允許從其他總線主控器（如PCIe）訪問(wèn)這些寄存器。在連接檢查期間捕獲到此問(wèn)題，并且互連記分板報(bào)告了錯(cuò)誤。

兩個(gè)從站不支持指令獲取保護(hù)

根據(jù)我們的互連規(guī)范，所有包含防火墻保護(hù)的從站必須具有指令獲取保護(hù)過(guò)濾器。但是該設(shè)計(jì)不支持對(duì)指令獲取和非指令獲取事務(wù)的這種過(guò)濾。因此，即使請(qǐng)求被阻止，互連也允許所有請(qǐng)求通過(guò)。互連的安全管理驗(yàn)證和互連記分板報(bào)告此問(wèn)題。

互連中的默認(rèn)配置錯(cuò)誤轉(zhuǎn)發(fā)問(wèn)題

如圖2所示，互連有3個(gè)子交換間代理。在每個(gè)IA/TA套接字上報(bào)告的錯(cuò)誤在子交換間代理處傳播和收集。來(lái)自交換機(jī)2和3的這些錯(cuò)誤被傳播并轉(zhuǎn)發(fā)到交換間代理1.每個(gè)代理中的錯(cuò)誤轉(zhuǎn)發(fā)可通過(guò)來(lái)自控制處理器的寄存器配置來(lái)編程。但是，默認(rèn)情況下禁用從互連3轉(zhuǎn)發(fā)的錯(cuò)誤。因此，具有默認(rèn)配置的系統(tǒng)未檢測(cè)到互連3處發(fā)生的任何錯(cuò)誤，并且系統(tǒng)處于死鎖狀態(tài)。我們?cè)谑褂缅e(cuò)誤情況進(jìn)行SoC驗(yàn)證時(shí)遇到了這個(gè)問(wèn)題。

圖2錯(cuò)誤轉(zhuǎn)發(fā)問(wèn)題

特殊轉(zhuǎn)角情況下互連的限制（例如，鎖定傳輸，4K邊界重疊，具有突發(fā)傳輸?shù)紸PB目標(biāo)的字節(jié)啟用映射等）在開(kāi)發(fā)軟件實(shí)施的編程指南時(shí)需要考慮。

摘要

在本文中，我們通過(guò)開(kāi)發(fā)可重用的驗(yàn)證環(huán)境和要驗(yàn)證的功能，展示了互連設(shè)計(jì)的驗(yàn)證方法。我們已經(jīng)描述了驗(yàn)證期間捕獲的主要互連問(wèn)題。通過(guò)采用上述方法，我們可以在設(shè)計(jì)驗(yàn)證階段早期識(shí)別IP集成和互操作性相關(guān)問(wèn)題。模擬和驗(yàn)證了許多系統(tǒng)級(jí)方案，這有助于獲得對(duì)NoC設(shè)計(jì)的信心。與錯(cuò)誤和安全管理相關(guān)的驗(yàn)證也幫助我們開(kāi)發(fā)了特定SoC的用戶編程指南。