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

AXI4-Lite Assertions
Mentor Verification IP AE AXI4-Lite User Guide, V10.3 371
April 2014
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.
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.
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref