
Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3
206
Assertions
April 2014
AXI4STREAM
-60012
AXI4STREAM_TKEEP_CHANGED_
BEFORE_TREADY
The value of TKEEP has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60013
AXI4STREAM_TKEEP_X TKEEP has an X value. -
AXI4STREAM
-60014
AXI4STREAM_TKEEP_Z TKEEP has a Z value. -
AXI4STREAM
-60015
AXI4STREAM_TLAST_CHANGED_
BEFORE_TREADY
The value of TLAST has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60016
AXI4STREAM_TLAST_X TLAST has an X value -
AXI4STREAM
-60017
AXI4STREAM_TLAST_Z TLAST has a Z value -
AXI4STREAM
-60018
AXI4STREAM_TREADY_X TREADY has an X value. -
AXI4STREAM
-60019
AXI4STREAM_TREADY_Z TREADY has a Z value. -
AXI4STREAM
-60020
AXI4STREAM_TSTRB_CHANGED_
BEFORE_TREADY
The value of TSTRB has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60021
AXI4STREAM_TSTRB_X TSTRB has an X value. -
AXI4STREAM
-60022
AXI4STREAM_TSTRB_Z TSTRB has a Z value. -
AXI4STREAM
-60023
AXI4STREAM_TUSER_CHANGED_
BEFORE_TREADY
The value of TUSER has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60024
AXI4STREAM_TUSER_X TUSER has an X value. -
AXI4STREAM
-60025
AXI4STREAM_TUSER_Z TUSER has a Z value. -
AXI4STREAM
-60026
AXI4STREAM_TVALID_HIGH_
EXITING_RESET
TVALID should have been driven
low when exiting reset.
2.7.2
AXI4STREAM
-60027
AXI4STREAM_TVALID_HIGH_
ON_FIRST_CLOCK
A master interface must only begin
driving TVALID at a rising edge of
ACLK following a rising edge of
ACLK at which TRESETn is
deasserted.
2.7.2
AXI4STREAM
-60028
AXI4STREAM_TVALID_CHANGED_
BEFORE_TREADY
The value of TVALID has changed
between TVALID asserted and
TREADY asserted.
2.2.1
AXI4STREAM
-60029
AXI4STREAM_TVALID_X TVALID has an X value. -
Table 13-1. AXI4-Stream Assertions (cont.)
Error Code Error Name Description Property
Ref
Kommentare zu diesen Handbüchern