6.1.2. Selecting AMBA protocol checks

Table 6.2 lists the method for configuring the AMBA protocol checks from the protocol checker:

Table 6.2. Selecting AMBA protocol checks method

NameDescriptionAllowed valueDefault value
check_protocol()Select the AMBA protocol checks to perform.AMBA_PV_APB, AMBA_PV_AHB, AMBA_PV_AXI[a], AMBA_PV_AXI3, AMBA_PV_AXI4_LITE, AMBA_PV_AXI4, AMBA_PV_ACE_LITE, AMBA_PV_ACEAMBA_PV_AXI3

[a] AMBA_PV_AXI is the same as AMBA_PV_AXI3. Use of AMBA_PV_AXI is deprecated.


The protocol checker tests your model against the selected AMBA protocol.

If check_protocol is called to select checking against a protocol other than AXI3, the following warning is issued:

Warning: amba_pv_protocol_checker: PROTOCOL-NAME protocol rules have been selected by check_protocol()

where PROTOCOL-NAME is the selected protocol.

If check_protocol(AMBA_PV_APB) is called to select checking against the APB protocol, the following warning is issued:

Warning: amba_pv_protocol_checker: APB protocol rules have been selected by check_protocol()
Copyright © 2009-2013 ARM. All rights reserved.ARM DUI 0455H
Non-ConfidentialID112213