OCP Compliance Checks plus Functional Coverage

Official Release (2.0/2.1 Compliance Checks plus Functional Coverage) - PDF (78kB)

SystemC Checker

The OCP checker is constructed using JEDA�s NSCa (Native SystemC assertion) solution. It can be plugged into an existing SystemC modeling or verification framework with minimal effort. During a simulation, the checker monitors OCP interfaces, checks the protocol compliance and reports violation conditions on-the-fly. In addition, the assertion summary coverage information can be used to measure a testbench�s OCP protocol coverage.

Download a trial version Here

Native SystemC Assertions Package - OCP 2.1.2 Compliant