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

Mentor Verification IP AE AXI4-Lite User Guide, V10.3 372
AXI4-Lite Assertions
April 2014
AXI4-
60037 AXI4_AWCACHE_CHANGED_BEFORE_
AWREADY The value of AWCACHE has
changed from its initial value
between the time AWVALID was
asserted and before AWREADY was
asserted. A3.2.1
AXI4-
60038 AXI4_AWCACHE_UNKN AWCACHE has an X
value/AWCACHE has a Z value.
AXI4-
60039 AXI4_AWID_CHANGED_BEFORE_
AWREADY The value of AWID has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
AXI4-
60040 AXI4_AWID_UNKN AWID has an X value/AWID has a Z
value.
AXI4-
60041 AXI4_AWLEN_CHANGED_BEFORE_
AWREADY The value of AWLEN has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
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.
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref