=================================================================
TITLE: Property Specific Language Package Available for Verification
Open Core Protocol International Partnership (OCP-IP) has
released 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.
For additional information, access: OCP-IP
=================================================================