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

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