When ENABLE_PROTOCOL_CHECKS==1, the following fatal protocol violations block the firewall. The MI-side transfer that triggers the block is not propagated to the SI. Once blocked, the SI autonomously issues protocol-compliant responses to all incomplete or partially-incomplete outstanding transactions.
- ERRS_BRESP
- A slave must only give a write response after both the write address and the last write data item are transferred and the BID, if any, must match an outstanding AWID.
- ERRS_RDATA_NUM
- The number of read data items must match the corresponding ARLEN (does not apply to AXI4-Lite protocol).
- ERRS_RID
- Slave can only give read data in response to an outstanding read transaction, and the RID, if any, must match an outstanding ARID.
- ERRS_BVALID_STABLE
- Once BVALID is asserted, it must remain asserted until BREADY is High.
- ERRS_RVALID_STABLE
- Once RVALID is asserted, it must remain asserted until RREADY is High.