OCP-IP Releases English Language Compliance Checks

PORTLAND, ORE - October 25, 2005 - Open Core Protocol International Partnership (OCP-IP) today announced the availability of a set of English language compliance checks that formally describe the 'legal' constraints for signals on an OCP interface, for members. The compliance checks eliminate the need for “best guess” verification by engineers making certain an OCP interface complies with the specification, assuring verification quality and IP blocks are compatible at system level.

Compliance checks define a set of rules for the OCP specification. Constraints can be as simple as "check that a signal is never 0" 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 Verilog/VHDL/E/SystemC). By applying stimuli to the design under test (DUT) and verifying that protocol checkers are not reporting violations, OCP compliance is verified.

Work on the compliance checks was completed by the OCP-IP Functional Verification working group including representatives from: Jeda Technologies, MIPS, Sonics Inc, Synopsys, Texas Instruments, TransEDA, and Yogitech.

“OCP has a robust, thriving infrastructure supported by many independent companies that provide excellent services and products,” said Ian Mackintosh, president OCP-IP. “We are proud of the leading-edge work completed by our Functional Verification Working Group.

Members may download and review a copy of the compliance checks by visiting the members only section at www.ocpip.org

About OCP-IP
The OCP International Partnership Association, Inc. (OCP-IP), formed in 2001, promotes and supports the Open Core Protocol (OCP) as the complete socket standard ensuring rapid creation and integration of interoperable virtual components. OCP-IP's Governing Steering Committee participants are: Nokia [NYSE: NOK], Texas Instruments [NYSE: TXN], STMicroelectronics [NYSE: STM], Toshiba Semiconductor Group (including Toshiba America TAEC), and Sonics. OCP-IP is a non-profit corporation delivering the first fully supported, openly licensed, core-centric protocol comprehensively fulfilling system-level integration requirements. The OCP facilitates IP core reusability and reduces design time, risk, and manufacturing costs for SoC designs. VSIA endorses the OCP socket, and OCP-IP is affiliated with VSIA. For additional background and membership information, visit www.OCPIP.org.

For additional information, please contact:
Ian Mackintosh, OCP-IP
650-938-2500 ext 106
Email Contact

Joe Basques, VitalCom PR
Email Contact

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



Review Article Be the first to review this article


Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
Sr. staff ASIC Design Engineer -2433 for Microchip at San Jose, CA
SENIOR ASIC Design Engineer for TiBit Communications at Petaluma, CA
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 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