OCP-IP Announces Updated Functional Checks and Assertions Available to Sponsor-Level Members

BEAVERTON, Ore. — (BUSINESS WIRE) — May 17, 2011 — Open Core Protocol International Partnership (OCP-IP) announces that the latest comprehensive set of Functional Checks and Assertions is available now to Sponsor-Level Members. Compliance checks eliminate the need for “best-guess” verification by engineers, making certain an OCP interface complies with the specification, assuring verification quality and that IP blocks are compatible at the system level. This current set of checks supports OCP 3.0 and is now being extended for the next release of OCP, already in advanced stages of development.

These checks define a set of rules for the OCP Specification. Constraints can be as simple as "check that a signal is never X" or may be complex temporal expressions. If no check is violated by functional and/or formal verification, the logic 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 restraint 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 our members to quickly begin using OCP," said Ian Mackintosh, president and chairman, OCP-IP. “In addition to our own CoreCreator® (including OCP checker), OCP Tracker®, and OCP Conductor® verification tools, and documented checks, there is a large range of products available from commercial providers. These tools eliminate the need for 'best-guess' verification by engineers.”

OCP-IP members may request their free copies of CoreCreator, OCP Tracker, or OCP Conductor by clicking here. For technical information regarding these tools, please see our datasheet page at: http://www.ocpip.org/datasheets.php.

To see a sample of the applications where OCP is used, please see our OCP-Inside presentation.

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

ALDEC:

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Reverie: All That Glitters is not Past
More Editorial  
Jobs
Senior Physical Design Engineer for Ambiq Micro at Austin, TX
Technical Marketing Manager Valley for EDA Careers at San Jose, CA
Digital and FPGA Hardware Designer for Giga-tronics Incorporated at San Ramon, CA
FAE FIELD APPLICATIONS SAN DIEGO for EDA Careers at San Diego, CA
SoC Design Engineer for Intel at Santa Clara, CA
Technical Support Engineer for EDA Careers at Freemont, CA
Upcoming Events
DesignCon 2017 Conference Jan 31 - Feb 2, 2017, Santa Clara Convention Center, Santa Clara, CA at Santa Clara Convention Center Santa Clara CA - Jan 31 - 2, 2017
IPC/Apex Expo 2017, Feb 14-16, 2017, San Diego Convention Center, San Diego, CA at San Diego Convention Center San Diego CA - Feb 14 - 16, 2017
Zuken Innovation World 2017, April 24 - 26, 2017, Hilton Head Marriott Resort & Spa in Hilton Head Island, SC at Hilton Head Marriott Resort & Spa Hilton Head Island NC - Apr 24 - 26, 2017



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 TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy Policy