OCP-IP Releases New Compliance Document into Member Review

BEAVERTON, Ore. — (BUSINESS WIRE) — May 23, 2012 — Open Core Protocol International Partnership (OCP-IP) announces the release of their newly updated Compliance Document, including the latest comprehensive set of Functional Checks and Assertions for member review. The latest version of the Compliance Document includes support for OCP’s existing cache coherence extensions, as well as the new memory barrier and transaction counting extensions introduced in the OCP 3.1 Specification.

Protocol compliance checks ensure that interface behaviors are consistent with OCP, and can be as simple as "check that a signal is never X" or may be complex temporal expressions. Configuration compliance checks ensure that the OCP interface is legally configured. Functional coverage points provide categorization of the types of signal and transaction combinations that need to be covered for complete verification. An OCP-based IP block that passes the configuration checks and is verified to cover all of the functional coverage points without violating any protocol checks is proven compliant with the protocol.

The compliance checks can be used in several different ways. Formal tools can use checks to be sure a design never violates them, proving OCP compliance. They can also use the same checks to cover the number of times a given constraint was hit. Functional verification tools can use the properties to build protocol checkers (in System Verilog/VHDL/e/SystemC, etc.). By applying stimuli to the design under test (DUT) and verifying that protocol checkers are not reporting violations, OCP compliance is verified.

“OCP-IP is committed to providing a complete infrastructure surrounding the OCP Specification, which allows users to readily deploy OCP,” said Ian Mackintosh, president and chairman, OCP-IP. “In addition to our own CoreCreator®, OCP Tracker®, and OCP Conductor® verification tools, and documented checks, there is a large range of proven products available from commercial providers. These tools eliminate the need for ‘best-guess’ verification by engineers.”

The Compliance document is available free to paying OCP-IP members. Non-members may purchase the document to assist them in verifying their OCP designs by completing the Compliance Document RLA ( http://www.ocpip.org/compliance_rla.php).

For all the latest information on OCP-IP please see our latest newsletter at: http://www.ocpip.org/newsletters.php.

About OCP-IP

Formed in 2001, OCP-IP is a non-profit corporation promoting, supporting and delivering the only openly licensed, core-centric protocol comprehensively fulfilling integration requirements of heterogeneous multicore systems. The Open Core Protocol (OCP) facilitates IP core reusability and reduces design time, risk, and manufacturing costs for all SoC and electronic designs by providing a comprehensive supporting infrastructure. For additional background and membership information, visit www.OCPIP.org.

NOTE: All trademarks and service marks are the property of their respective owners.



Contact:

OCP-IP
Ian Mackintosh, 408-761-5980
Email Contact
or
Joe Basques, 512-551-3377
Email Contact




Review Article Be the first to review this article
HP

SolidCAM: Program your CNCs directly inside your existing CAD system.

Featured Video
Jobs
Senior Mechanical Engineer for Verb Surgical at Mountain View, CA
CAD Systems Administrator for KLA-Tencor at Milpitas, CA
Principal Research Mechatronics Engineer for Verb Surgical at Mountain View, CA
Lead Geospatial Analyst for Alion at McLean, VA
Industrial Designer Intern – Spring 2017 for Nvidia at Santa Clara, CA
Upcoming Events
SOLIDWORKS 2017 Launch Event – Walsall at Village Hotel Club, Walsall, WS2 8TJ Walsall United Kingdom - Mar 30, 2017
PI APPAREL Hong Kong 2017 at SHANGRI-LA KOWLOON 64 Mody Road Tsim Sha Tsui East Kowloon Hong Kong - Apr 5 - 6, 2017
SOLIDWORKS intro and hands on session – Slough at Baylis House, Slough, Berkshire, SL1 3PB Slough United Kingdom - Apr 7, 2017
Engineer 3D! Training + Technology Conference at Hyatt Regency Milwaukee 333 West Kilbourn Avenue Milwaukee WI - Apr 25 - 26, 2017
MasterCAM



Internet Business Systems © 2017 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering EDACafe - Electronic Design Automation GISCafe - Geographical Information Services TechJobsCafe - Technical Jobs and Resumes ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy Advertise