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

》使用

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

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

》One More Thing

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

在仿真器執行時，對于$warning其只是打印信息，并不會影響仿真器繼續向下執行。如果對于一些規則檢測，如果你覺得使用$warning并不符合需要，則可以手動對源代碼進行修改。例如下面對于ready超時的檢測：

這里當仿真時不符合設計預期時會通過`ARM_AMBA4_PC_MSG_WARN來進行$warning報警，如果需要出錯時仿真立即停下來那么則可以將其替換更改為`ARM_AMBA4_PC_MSG_ERR。

審核編輯：劉清