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

Mentor VIP AE AXI3/4 User Guide, V10.2b 668
Assertions
AXI3 Assertions
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60039 AXI_AWLOCK_UNKN AWLOCK has an X or Z value. A2.2
AXI3-
60040 AXI_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
AXI3-
60041 AXI_AWPROT_UNKN AWPROT has an X or Z value. A2.2
AXI3-
60042 AXI_AWREADY_UNKN AWREADY has an X or Z value. A2.2
AXI3-
60043 AXI_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
AXI3-
60044 AXI_AWSIZE_UNKN AWSIZE has an X or Z value. A2.2
AXI3-
60045 AXI_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
AXI3-
60046 AXI_AWUSER_UNKN AWUSER has an X or Z value. A2.2
AXI3-
60047 AXI_AWVALID_DEASSERTED_
BEFORE_AWREADY AWVALID has been de-asserted before
AWREADY was asserted. A3.2.1
AXI3-
60048 AXI_AWVALID_HIGH_ON_
FIRST_CLOCK_AFTER_RESET A master interface must begin driving
AWVALID high only at a rising clock edge
after ARESETn is HIGH. A3.1.2
AXI3-
60049 AXI_AWVALID_UNKN AWVALID has an X or Z value. A2.2
AXI3-
60050 AXI_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
AXI3-
60051 AXI_BID_UNKN BID has an X or Z value. A2.4
AXI3-
60052 AXI_BREADY_UNKN BREADY has an X or Z value. A2.4
AXI3-
60053 AXI_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. AXI3 Assertions (cont.)