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