|Home > AMBA-PV Protocol Checker > 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|
||Select the AMBA protocol checks to perform. Note that
The protocol checker tests your model against the selected AMBA protocol.
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.
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()