PORTLAND, ORE — July 11, 2006—Open Core Protocol International Partnership (OCP-IP) today announced the availability of an OCP Property Specific Language (PSL) package to aide in verification of IP blocks. The PSL package compliments traditional verification methodologies eliminating 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.
As the number of IP cores continues to increase on each design, verification of the interconnect becomes critical. While several verification languages are available, none has become a widely accepted standard, and VHDL and Verilog monitors are not cost-effective. While many proprietary methods have been utilized, verification quality has been found inadequate. There is clear demand for a new kind of verification package.
Unlike other methods of verification, the PSL is hardware property, not a verification language. PSL is a consistent, simple, powerful property with a declarative structural syntax. The ordered nature of the language gives it a very low learning threshold enabling rapid adoption and implementation. The OCP PSL package contains 4 different layers enabling a sustainable verification environment both now and in the future. Both VHDL and Verilog flavors are provided to OCP-IP Members.
Work on the initial PSL package was completed by Nokia’s Technology Platforms unit. The package will be placed within the OCP-IP Community and all members are strongly encouraged to share their findings throughout the community.
“OCP has a robust, thriving infrastructure supported by many independent leading-edge companies that provide excellent services and products,” said Ian Mackintosh, president OCP-IP. Through the support and donations of our member companies, such as the PSL package by Nokia, we are able to continue providing the latest tools and services necessary for convenient adoption and implementation, of the OCP standard.”
For more information on the PSL package please visit: www.ocpip.org
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 include: Nokia [NYSE: NOK], Texas Instruments [NYSE: TXN], 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.