開放內核協議國際伙伴關系(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表示。