6.2 AMBA protocol check selection: check_protocol()

This section describes the method that configures the AMBA® protocol checks from the protocol checker.

Table 6-1 AMBA protocol checks method

Name Allowed values Default value Description of check
check_protocol() AMBA_PV_APB, AMBA_PV_AHB, AMBA_PV_AXI, AMBA_PV_AXI3, AMBA_PV_AXI4_LITE, AMBA_PV_AXI4, AMBA_PV_ACE_LITE, AMBA_PV_ACE AMBA_PV_AXI3 Select the AMBA protocol checks to perform. Note that AMBA_PV_AXI is the same as AMBA_PV_AXI3. Arm deprecates the use of AMBA_PV_AXI.

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, this 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, this warning is issued:

Warning: amba_pv_protocol_checker: APB protocol rules have been selected by check_protocol()
Non-ConfidentialPDF file icon PDF version100962_0200_03_en
Copyright © 2014–2018 Arm Limited (or its affiliates). All rights reserved.