工程师不必再做“最佳猜测”，PSL封包有助于验证OCP模块

开放内核协议国际伙伴关系(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表示。