开放内核协议国际伙伴关系(open core protocol international partnership, ocp-ip)近日宣布，推出一种面向ocp所有权的语言(ocp property specific language, ocp-psl)封包，以帮助对ip模块的验证。
根据ocp-ip的介绍，psl封包采用传统的验证方法，工程师不必做“最佳猜测”验证，使ocp接口肯定符合规范的要求。与其它验证方法不同，ocp-ip表示，psl是硬件所有权，而不是验证语言。ocp psl封装包含四个不同的层，足以支撑验证环境。该组织表示，对ocp-ip会员同时提供支持vhdl和verilog语言的封装。
利用诺基亚的technology platforms单元，已经完成了初始psl封包的工作，ocp-ip表示，该封包将被放置在ocp-ip社群，以鼓励整个社群的会员共享他们的发现。
“通过会员公司的支持和贡献，如诺基亚公提供的psl封包，我们能持续提供方便采用和实现ocp标准所必要的最新工具和服务。”ocp-ip总裁ian mackintosh表示。
