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

Assertions
AXI3 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 667
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60024 AXI_ARUSER_UNKN ARUSER has an X or Z value. A2.5
AXI3-
60025 AXI_ARVALID_DEASSERTED_
BEFORE_ARREADY ARVALID has been de-asserted before
ARREADY was asserted. A3.2.1
AXI3-
60026 AXI_ARVALID_HIGH_ON_FIRST_
CLOCK_AFTER_RESET A master interface must begin driving
ARVALID high only at a rising clock edge
after ARESETn is HIGH. A3.1.2
AXI3-
60027 AXI_ARVALID_UNKN ARVALID has an X or Z value. A2.5
AXI3-
60028 AXI_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
AXI3-
60029 AXI_AWADDR_UNKN AWADDR has an X or Z value. A2.2
AXI3-
60030 AXI_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
AXI3-
60031 AXI_AWBURST_UNKN AWBURST has an X or Z value. A2.2
AXI3-
60032 AXI_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
AXI3-
60033 AXI_AWCACHE_UNKN AWCACHE has an X or Z value. A2.2
AXI3-
60034 AXI_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 (SPEC3(3.1)) A3.2.1
AXI3-
60035 AXI_AWID_UNKN AWID has an X or Z value. A2.2
AXI3-
60036 AXI_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
AXI3-
60037 AXI_AWLEN_UNKN AWLEN has an X or Z value. A2.2
AXI3-
60038 AXI_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
Table A-1. AXI3 Assertions (cont.)