JEDA OCPchecker OCP Verification Library
JEDA Technologies' OCPchecker is a system-level verification library for Open Core Protocol (OCP) based system designs in SystemC. OCPchecker comprehensive protocol correctness and configuration parameter consistency checks allow OCP system designers and architects to create stable virtual systems faster than in-house solutions. The library enforces OCP compliance checking, pinpoints protocol violations, and collects functional coverage information under system-level simulation. JEDA's OCPchecker saves OCP virtual-platform users time and effort in reaching system-level simulation goals.
OCPchecker is built on top of NSCa, JEDA's Native SystemC comprehensive transaction-level to cycle-level temporal assertion development, runtime and debug environment. NSCa was designed for system engineers, architects, design engineers, and ESL model creators in applications like virtual platforms or high-level synthesis design implementation.
OCPchecker Features:
- Protocol property checks for OCP2.2, OCP2.1 and OCP2.0
- User configuration and parameter checking
- Extensibility, for users who want to add new protocol checks
- Self-adaptive configuration to a user environment
- Assertion debugging environment with assertion coverage report and analysis
- Ease of use, with plug and play into an OCP Channel
More info: JEDA Technologies
If you found this page useful, bookmark and share it on:
Possibly of Interest
- Aldec Riviera 2007.02 Mixed Language Simulator
- Opal-RT RT-LAB Orchestra Real-Time Framework
- MathWorks Simulink Checks for DO-178B, IEC-61508, and MAAB Compliance
- Synopsys DesignWare System-Level Library
- Mentor Graphics PADS2007 PCB Design Solution
If you are familiar with RSS feeds, you can also sign up for our free blog feed. Our RSS feed is updated in real-time while our newsletter is updated daily.
