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

Mentor VIP AE AXI3/4 User Guide, V10.2b 682
Assertions
AXI4 Assertions
September 2013
AXI4-
60042 AXI4_AWLEN_UNKN AWLEN has an X value/AWLEN has
a Z value.
AXI4-
60043 AXI4_AWLOCK_CHANGED_BEFORE_
AWREADY The value of AWLOCK has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
AXI4-
60044 AXI4_AWLOCK_UNKN AWLOCK has an X value/AWLOCK
has a Z value.
AXI4-
60045 AXI4_AWPROT_CHANGED_BEFORE_
AWREADY The value of AWPROT has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
AXI4-
60046 AXI4_AWPROT_UNKN AWPROT has an X value/AWPROT
has a Z value.
AXI4-
60047 AXI4_AWQOS_CHANGED_BEFORE_
AWREADY The value of AWQOS has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
AXI4-
60048 AXI4_AWQOS_UNKN AWQOS has an X value/AWQOS
has a Z value.
AXI4-
60049 AXI4_AWREADY_NOT_ASSERTED_AFTER_
AWVALID Once AWVALID has been asserted
AWREADY
should be asserted in
config_max_latency_AWVALID_ass
ertion_to_AWREADY clock periods.
AXI4-
60050 AXI4_AWREADY_UNKN AWREADY has an X
value/AWREADY has a Z value.
AXI4-
60051 AXI4_AWREGION_CHANGED_BEFORE_
AWREADY The value of AWREGION has
changed from its initial value
between the time AWVALID was
asserted and before AWREADY was
asserted. A3.2.1
AXI4-
60052 AXI4_AWREGION_MISMATCH The AWREGION value does not
match the value defined in the region
map. A8.2.1
AXI4-
60053 AXI4_AWREGION_UNKN AWREGION has an X
value/AWREGION has a Z value.
AXI4-
60054 AXI4_AWSIZE_CHANGED_BEFORE_
AWREADY The value of AWSIZE has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
AXI4-
60055 AXI4_AWSIZE_UNKN AWSIZE has an X value/AWSIZE
has a Z value.
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref