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

Assertions
AXI4 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 681
September 2013
AXI4-
60027 AXI4_ARUSER_CHANGED_BEFORE_
ARREADY The value of ARUSER has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60028 AXI4_ARUSER_UNKN ARUSER has an X value/ARUSER
has a Z value.
AXI4-
60029 AXI4_ARVALID_DEASSERTED_
BEFORE_ARREADY ARVALID has been de-asserted
before ARREADY was asserted. A3.2.1
AXI4-
60030 AXI4_ARVALID_HIGH_ON_FIRST_CLOCK A master interface must begin driving
ARVALID high only at a rising clock
edge after ARESETn is HIGH. A3.1.2
AXI4-
60031 AXI4_ARVALID_UNKN ARVALID has an X value/ARVALID
has a Z value.
AXI4-
60032 AXI4_AWADDR_CHANGED_BEFORE_
AWREADY The value of AWADDR has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
AXI4-
60033 AXI4_AWADDR_FALLS_IN_REGION_
HOLE The addr value cannot be decoded
to a region in the region map. A8.2.1
AXI4-
60034 AXI4_AWADDR_UNKN AWADDR has an X value/AWADDR
has a Z value.
AXI4-
60035 AXI4_AWBURST_CHANGED_BEFORE_
AWREADY The value of AWBURST has
changed from its initial value
between the time AWVALID was
asserted and before AWREADY was
asserted. A3.2.1
AXI4-
60036 AXI4_AWBURST_UNKN AWBURST has an X
value/AWBURST has a Z value.
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
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref