AXI Protocol Checker は、AXI インターフェイスをモニターするコアです。インターフェイスへ接続されると、プロトコル違反を検出し、違反の種類を特定します。
このチェック機能は、Arm 社の「AMBA 4 AXI4、AXI4-Lite、AXI4-Stream Protocol Assertion」ライブラリにある SystemVerilog Assertions (SVA) の合成可能バージョンです。