Altera Mentor Verification IP Altera Edition AMBA AXI4-Lite - Manual (Page 370)

Mentor Verification IP AE AXI4-Lite User Guide, V10.3 370
AXI4-Lite Assertions
April 2014
AXI4-
60008 AXI4_ARCACHE_CHANGED_BEFORE_
ARREADY The value of ARCACHE has
changed from its initial value
between the time ARVALID was
asserted and before ARREADY was
asserted. A3.2.1
AXI4-
60009 AXI4_ARCACHE_UNKN ARCACHE has an X
value/ARCACHE has a Z value.
AXI4-
60010 AXI4_ARID_CHANGED_BEFORE_ARREADY The value of ARID has changed from
its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60011 AXI4_ARID_UNKN ARID has an X value/ARID has a Z
value.
AXI4-
60012 AXI4_ARLEN_CHANGED_BEFORE_
ARREADY The value of ARLEN has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60013 AXI4_ARLEN_UNKN ARLEN has an X value/ARLEN has
a Z value.
AXI4-
60014 AXI4_ARLOCK_CHANGED_BEFORE_
ARREADY The value of ARLOCK has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60015 AXI4_ARLOCK_UNKN ARLOCK has an X value/ARLOCK
has a Z value.
AXI4-
60016 AXI4_ARPROT_CHANGED_BEFORE_
ARREADY The value of ARPROT has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60017 AXI4_ARPROT_UNKN ARPROT has an X value/ARPROT
has a Z value.
AXI4-
60018 AXI4_ARQOS_CHANGED_BEFORE_
ARREADY The value of ARQOS has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60019 AXI4_ARQOS_UNKN ARQOS has an X value/ARQOS has a
Z value.
AXI4-
60020 AXI4_ARREADY_NOT_ASSERTED_
AFTER_ARVALID Once ARVALID has been asserted
ARREADY should be asserted in
config_max_latency_ARVALID_asse
rtion_to_ARREADY clock periods.
AXI4-
60021 AXI4_ARREADY_UNKN ARREADY has an X
value/ARREADY has a Z value.
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref