ARM所推出的AMBA4總線相對來講還是應(yīng)用廣泛的。無論是芯片設(shè)計(jì)里還是FPGA設(shè)計(jì)里，時(shí)常能見到AMBA4總線的身影。在驗(yàn)證領(lǐng)域，SystemVerilog Asseration還是一個(gè)很常見的驗(yàn)證手段。在Xilinx Vivado中有提供AMBA總線相關(guān)的Checker VIP,其內(nèi)部也是采用的SystemVerilog Asseration來實(shí)現(xiàn)。今天給大家推薦下ARM自家所推出的BP063 AMBA4 SVA組件。

》使用

下載下來后文件夾里包含了sva文件和docs資料：

詳細(xì)的使用教程可以參照文件夾里面的BP063-RLNC-000313.pdf,這里就不在照本宣科的給從頭到尾講了，文檔中已詳細(xì)說明了如何使用及各種參數(shù)的配置。

》One More Thing

參照文檔基本可以保證能夠正常使用。對于SVA而言，其本質(zhì)無非是通過各種規(guī)則進(jìn)行檢查，若不符合情況則根據(jù)錯(cuò)誤等級進(jìn)行報(bào)錯(cuò)。在ARM AMBA4 SVA里面，出錯(cuò)后的錯(cuò)誤等級分為了$error和$warning兩種：

在仿真器執(zhí)行時(shí)，對于$warning其只是打印信息，并不會(huì)影響仿真器繼續(xù)向下執(zhí)行。如果對于一些規(guī)則檢測，如果你覺得使用$warning并不符合需要，則可以手動(dòng)對源代碼進(jìn)行修改。例如下面對于ready超時(shí)的檢測：

這里當(dāng)仿真時(shí)不符合設(shè)計(jì)預(yù)期時(shí)會(huì)通過`ARM_AMBA4_PC_MSG_WARN來進(jìn)行$warning報(bào)警，如果需要出錯(cuò)時(shí)仿真立即停下來那么則可以將其替換更改為`ARM_AMBA4_PC_MSG_ERR。

審核編輯：劉清