The AXI Protocol Checker 核可监控 AXI 接口。在连接到接口时,它会主动检查协议违规并提供所发生违规的指示。
这些检查是 ARM 在“AMBA 4 AXI4、AXI4-Lite 和 AXI4-Stream 协议断言”库中提供的 System Verilog 协议断言的综合版本。