AXI4-Stream Protocol Checker コアは、AXI4-Stream インターフェイスのプロトコル違反を監視し、違反を検知すると通知します。
このチェック機能は、ARM 社の「AMBA 4 AXI4、AXI4-Lite、AXI4-Stream Protocol Assertion」ユーザー ガイド [Ref 2] にある SystemVerilog Assertions (SVA) の合成可能バージョンです。