You copied the Doc URL to your clipboard.

1.1. About the protocol checkers

You can use the protocol checkers that this user guide describes to test the ACE and ACE-Lite protocols that the AMBA® AXI and ACE Protocol Specification - AXI3, AXI4, and AXI4-Lite, ACE, and ACE-Lite defines. See ARM publications.

The behavior of the interface you test is checked against the protocol by a series of assertions.

This guide describes the contents of the SystemVerilog files, and how to integrate them into a design. It also describes the correct use of these assertions with simulators to flag errors, warnings, or both during design simulation.

Was this page helpful? Yes No