Altera Mentor Verification IP Altera Edition AMBA AXI4-Stream - Manual (Page 207)

Assertions
Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3 207
April 2014
AXI4STREAM
-60030 AXI4STREAM_TVALID_Z TVALID has a Z value. -
AXI4STREAM
-60030 AXI4STREAM_DATA_
WIDTH_VIOLATION The data bus width of axi4 stream
interface must be an integer number
of bytes. 2.1
AXI4STREAM
-60031 AXI4STREAM_TDEST_
MAX_WIDTH_VIOLATION The recommended width of TDEST
on AXI4-Stream interface must be
less than 4-bits. 2.1
AXI4STREAM
-60032 AXI4STREAM_TID_
MAX_WIDTH_VIOLATION The recommended width of TID on
AXI4-Stream interface must be less
than 8-bits. 2.1
AXI4STREAM
-60033 AXI4STREAM_TUSER_
MAX_WIDTH_VIOLATION The recommended width of TUSER
on AXI4-Stream interface must be
an integer multiplication of data bus
width in bytes. 2.1
AXI4STREAM
-60034 AXI4STREAM_AUXM_TID_
TDEST_WIDTH The value of
AXI4STREAM_ID_WIDTH +
AXI4STREAM_DEST_WIDTH
must not exceed 24. See ARM
AXI4STREAM Protocol
Compliance checkers. -
AXI4STREAM
-60035 AXI4STREAM_TSTRB_
HIGH_WHEN_TKEEP_LOW The combination of TSTRB HIGH
and TKEEP LOW is a reserved
value. 2.3.4
AXI4STREAM
-60036 AXI4STREAM_TUSER_FIELD_
NONZERO_NULL_BYTE If a null byte is inserted, then
appropriate number of user bits
must also be inserted, which must
be fixed LOW. (STRM(2.8)) 2.8
AXI4STREAM
-60037 AXI4STREAM_TREADY_NOT_
ASSERTED_AFTER_TVALID When TVALID is asserted,
ARREADY should be asserted
within
config_max_latency_TVALID_asse
rtion_to_TREADY clock periods
AXI4STREAM
-60038 AXI4STREAM_INTERNAL_
RESERVED A value reserved for internal
purposes of the BFM. -
Table 13-1. AXI4-Stream Assertions (cont.)
Error Code Error Name Description Property
Ref