Verification Library Accelerates OCP System Designs


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:

  • Protocol property checks for OCP2.2, OCP2.1 and OCP2.0
  • Extensibility, for users who want to add new protocol checks
  • User configuration and parameter checking
  • Self-adaptive configuration to a user environment
  • Assertion debugging environment with assertion coverage report and analysis
  • Plug and play into an OCP Channel

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

The new JEDA OCPchecker is available immediately.


Reprinted from SOCcentral.com, your first stop for ASIC, FPGA, EDA, and IP news and design information.
Copyright 2002 - 2011 Tech Pro Communications, 1209 Colts Circle, Lawrenceville, NJ 08648