Chapter 13 assertions, Table 13-1. axi4-stream assertions, Assertions – Altera Mentor Verification IP Altera Edition AMBA AXI4-Stream User Manual
Page 205: For a complete listing of assertions, refer to
Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3
205
April 2014
Chapter 13
Assertions
The master, slave, and monitor BFMs all support error checking via the firing of one or more
assertions when a property detailed in the AMBA AXI4-Stream Protocol Specification has been
violated. Each assertion may be individually enabled/disabled using the set_config() function
for a particular BFM. The Property Reference column of
references the section
number in the AMBA AXI4-Stream Protocol Specification of the property the assertion covers.
Table 13-1. AXI4-Stream Assertions
Error Code
Error Name
Description
Property
Ref
AXI4STREAM
-60000
AXI4STREAM_TDATA_CHANGED_
BEFORE_TREADY_
ON_INVALID_LANE
On an invalid byte lane (TSTRB =
0) the value of TDATA has
changed between TVALID asserted
and TREADY asserted.
2.2.1
AXI4STREAM
-60001
AXI4STREAM_TDATA_X_
ON_INVALID_LANE
On an invalid byte lane (TSTRB =
0), TDATA has an X value.
-
AXI4STREAM
-60002
AXI4STREAM_TDATA_Z_
ON_INVALID_LANE
On an invalid byte lane (TSTRB =
0), TDATA has a Z value.
-
AXI4STREAM
-60003
AXI4STREAM_TDATA_CHANGED_
BEFORE_TREADY_
ON_VALID_LANE
On a valid byte lane (TSTRB = 1)
the value of TDATA has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60004
AXI4STREAM_TDATA_X_
ON_VALID_LANE
On a valid byte lane (TSTRB = 1),
TDATA has an X value.
-
AXI4STREAM
-60005
AXI4STREAM_TDATA_Z_
ON_VALID_LANE
On a valid byte lane (TSTRB = 1),
TDATA has a Z value.
-
AXI4STREAM
-60006
AXI4STREAM_TDEST_CHANGED_
BEFORE_TREADY
The value of TDEST has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60007
AXI4STREAM_TDEST_X
TDEST has an X value.
-
AXI4STREAM
-60008
AXI4STREAM_TDEST_Z
TDEST has a Z value.
-
AXI4STREAM
-60009
AXI4STREAM_TID_CHANGED_
BEFORE_TREADY
The value of TID has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60010
AXI4STREAM_TID_X
TID has an X value.
-
AXI4STREAM
-60011
AXI4STREAM_TID_Z
TID has a Z value.
-