
Mentor VIP AE AXI3/4 User Guide, V10.2b
682
Assertions
AXI4 Assertions
September 2013
AXI4-
60042
AXI4_AWLEN_UNKN AWLEN has an X value/AWLEN has
a Z value.
AXI4-
60043
AXI4_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
AXI4-
60044
AXI4_AWLOCK_UNKN AWLOCK has an X value/AWLOCK
has a Z value.
AXI4-
60045
AXI4_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
AXI4-
60046
AXI4_AWPROT_UNKN AWPROT has an X value/AWPROT
has a Z value.
AXI4-
60047
AXI4_AWQOS_CHANGED_BEFORE_
AWREADY
The value of AWQOS has changed
from its initial value between the time
AWVALID was asserted and before
AWREADY was asserted.
A3.2.1
AXI4-
60048
AXI4_AWQOS_UNKN AWQOS has an X value/AWQOS
has a Z value.
AXI4-
60049
AXI4_AWREADY_NOT_ASSERTED_AFTER_
AWVALID
Once AWVALID has been asserted
AWREADY should be asserted in
config_max_latency_AWVALID_ass
ertion_to_AWREADY clock periods.
AXI4-
60050
AXI4_AWREADY_UNKN AWREADY has an X
value/AWREADY has a Z value.
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.
Table A-2. AXI4 Assertions (cont.)
Error
Code
Error Name Description Property
Ref
Komentarze do niniejszej Instrukcji