Altera Mentor Verification IP Altera Edition AMBA AXI3/4TM - Manual (Page 700)

Mentor VIP AE AXI3/4 User Guide, V10.2b 680
Assertions
AXI4 Assertions
September 2013
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.
AXI4-
60022 AXI4_ARREGION_CHANGED_BEFORE_
ARREADY The value of ARREGION has
changed from its initial value
between the time ARVALID was
asserted and before ARREADY was
asserted. A3.2.1
AXI4-
60023 AXI4_ARREGION_MISMATCH The ARREGION value does not
match the value defined in the region
map. A8.2.1
AXI4-
60024 AXI4_ARREGION_UNKN ARREGION has an X
value/ARREGION has a Z value.
AXI4-
60025 AXI4_ARSIZE_CHANGED_BEFORE_
ARREADY The value of ARSIZE has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60026 AXI4_ARSIZE_UNKN ARSIZE has an X value/ARSIZE has
a Z value.
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref