November 2, 2007 -- JEDA Technologies, Inc. has announced the availability of OCPchecker, 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.

"The JEDA OCPchecker has proved itself in our production environment. It automatically adapts to any of our configurations with on-the-fly checking. We replaced our in-house SystemC-OCP checking solution with OCPchecker because it supports the complete OCP protocol, is more efficient, and is easy to use and integrate," said Scott Evans, director of software development at Sonics.

"OCP is an industry standard socket interface for leading edge SOC designs because of its scalability, but the configurability that enables this flexibility makes verification more challenging. JEDA verification products enable early quality assurance for designs leveraging the popular OCP SystemC channel, and that is good news for the OCP International Partnership (OCP-IP)," said Drew Wingard, CTO and co-founder of Sonics and steering committee member of OCP-IP.

OCPchecker features:

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 such as virtual platforms or high-level synthesis design implementation.

Availability