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

Assertions
AXI4 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 683
September 2013
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 Once 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
AXI4-
60066 AXI4_BRESP_UNKN BRESP has an X value/BRESP has
a Z value.
AXI4-
60067 AXI4_BUSER_CHANGED_BEFORE_BREADY The value of BUSER has changed
from its initial value between the time
BVALID was asserted and before
BREADY was asserted. A3.2.1
AXI4-
60068 AXI4_BUSER_UNKN BUSER has an X value/BUSER has
a Z value.
AXI4-
60069 AXI4_BVALID_DEASSERTED_BEFORE_
BREADY BVALID has been de-asserted
before BREADY was asserted. A3.2.1
AXI4-
60070 AXI4_BVALID_HIGH_EXITING_RESET BVALID should have been driven low
when exiting reset. A3.1.2
AXI4-
60071 AXI4_BVALID_UNKN BVALID has an X value/BVALID has
a Z value.
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref