|Home > AMBA-PV Protocol Checker > About the AMBA-PV protocol checker|
You can use the AMBA-PV protocol checker with any model that is designed to implement the AMBA-PV protocol.
You can instantiate the protocol checker, class
between any pair of AMBA-PV master and slave sockets. You can instantiate the protocol
amba_pv_ace_protocol_checker, between any pair of AMBA-PV ACE
master and slave sockets.
The behavior of the model you test is checked against the protocol by a set of checks in the
protocol checker. The transactions that pass through are checked against the AMBA-PV protocol.
Errors are reported using the SystemC reporting mechanism. All errors are reported with a
message type of
"amba_pv_protocol_checker" and with a severity of
SC_ERROR. Recommendations are reported with a severity of
SC_WARNING. Their reporting can be disabled.
The AMBA-PV protocol checker tests your model against the AMBA® AXI3 protocol by default. You can configure the protocol checker to specifically test your model against one of the ACE, AXI4, AHB, or APB protocols.