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

AXI4-Lite Assertions
Mentor Verification IP AE AXI4-Lite User Guide, V10.3 373
April 2014
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.
AXI4-
60056 AXI4_AWUSER_CHANGED_BEFORE_
AWREADY The value of AWUSER has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted. A3.2.1
AXI4-
60057 AXI4_AWUSER_UNKN AWUSER has an X value/AWUSER
has a Z value.
AXI4-
60058 AXI4_AWVALID_DEASSERTED_BEFORE_
AWREADY AWVALID has been de-asserted
before AWREADY was asserted. A3.2.1
AXI4-
60059 AXI4_AWVALID_HIGH_ON_FIRST_
CLOCK A master interface must begin driving
AWVALID high only at a rising clock
edge after ARESETn is HIGH. A3.1.2
AXI4-
60060 AXI4_AWVALID_UNKN AWVALID has an X value/AWVALID
has a Z value.
AXI4-
60061 AXI4_BID_CHANGED_BEFORE_BREADY The value of BID has changed from
its initial value between the time
BVALID was asserted and before
BREADY was asserted. A3.2.1
AXI4-
60062 AXI4_BID_UNKN BID has an X value/BID has a Z
value.
AXI4-
60063 AXI4_BREADY_NOT_ASSERTED_AFTER_
BVALID When BVALID has been asserted
BREADY should be asserted in
config_max_latency_BVALID_assert
ion_to_BREADY clock periods.
AXI4-
60064 AXI4_BREADY_UNKN BREADY has an X value/BREADY
has a Z value.
AXI4-
60065 AXI4_BRESP_CHANGED_BEFORE_BREADY The value of BRESP has changed
from its initial value between the time
BVALID was asserted and before
BREADY was asserted. A3.2.1
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref