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

Mentor VIP AE AXI3/4 User Guide, V10.2b 666
Assertions
AXI3 Assertions
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60010 AXI_ARCACHE_CHANGED_
BEFORE_ARREADY The value of ARCACHE has changed from
its initial value between the time ARVALID
was asserted, and before ARREADY was
asserted. A3.2.1
AXI3-
60011 AXI_ARCACHE_UNKN ARCACHE has an X or Z value. A2.5
AXI3-
60012 AXI_ARID_CHANGED_
BEFORE_ARREADY The value of ARID has changed from its
initial value between the time ARVALID was
asserted, and before ARREADY was
asserted. A3.2.1
AXI3-
60013 AXI_ARID_UNKN ARID has an X or Z value. A2.5
AXI3-
60014 AXI_ARLEN_CHANGED_
BEFORE_ARREADY The value of ARLEN has changed from its
initial value between the time ARVALID was
asserted, and before ARREADY was
asserted. A3.2.1
AXI3-
60015 AXI_ARLEN_UNKN ARLEN has an X or Z value. A2.5
AXI3-
60016 AXI_ARLOCK_CHANGED_
BEFORE_ARREADY The value of ARLOCK has changed from its
initial value between the time ARVALID was
asserted, and before ARREADY was
asserted. A3.2.1
AXI3-
60017 AXI_ARLOCK_UNKN ARLOCK has an X or Z value. A2.5
AXI3-
60018 AXI_ARPROT_CHANGED_
BEFORE_ARREADY The value of ARPROT has changed from its
initial value between the time ARVALID was
asserted, and before ARREADY was
asserted. A3.2.1
AXI3-
60019 AXI_ARPROT_UNKN ARPROT has an X or Z value. A2.5
AXI3-
60020 AXI_ARREADY_UNKN ARREADY has an X or Z value. A2.5
AXI3-
60021 AXI_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
AXI3-
60022 AXI_ARSIZE_UNKN ARSIZE has an X or Z value. A2.5
AXI3-
60023 AXI_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
Table A-1. AXI3 Assertions (cont.)