Virtual platforms used for system-level design are only as good as
the models they comprise. Thus, design teams devote considerable
time to developing code for verifying these models. But
thanks to a system-level verification library for OCP-based (Open
Core Protocol) system designs in SystemC, much of the drudgery of
this task can be avoided.
JEDA Technologies’ OCPchecker verification library comprehensively
verifies OCP protocol correctness. The library enforces OCP compliance
checking, pinpoints protocol violations, and collects functional coverage
information under system-level simulation. Also, the library
includes protocol property checks for OCP 2.2, OCP 2.1, and OCP
2.0. It’s extensible for users who wish to add new protocol checks as
well. Additionally, an assertion debugging environment provides
users with an assertion coverage report and analysis.
The new JEDA OCPchecker is available immediately. Contact JEDA
Technologies directly for pricing.
Reprints
