OCP 2.0/2.1 SystemVerilog assertion library

The OCP protocol checker it's a passive verification component which monitors where the OCP protocol is violated.

Features:

• The OCP assertion library is fully compliant with OCP-IP FVWG compliance checks document.
• OCP configuration parameters are extracted from <core>_rtl.conf. The validity of the configuration file is checked during the configuration phase.
• Easy to instantiate. The configuration utility generates a configuration template based on the OCP configuration parameters and the signal names enclosed in the <core>_rtl.conf .

For more information or questions about this product, feel free to contact TrustIC.