開放內(nèi)核協(xié)議國際伙伴關(guān)系(Open Core Protocol International Partnership, OCP-IP)近日宣布，推出一種面向OCP所有權(quán)的語言(OCP Property Specific Language, OCP-PSL)封包，以幫助對IP模塊的驗(yàn)證。

       根據(jù)OCP-IP的介紹，PSL封包采用傳統(tǒng)的驗(yàn)證方法，工程師不必做“猜測”驗(yàn)證，使OCP接口肯定符合規(guī)范的要求。與其它驗(yàn)證方法不同，OCP-IP表示，PSL是硬件所有權(quán)，而不是驗(yàn)證語言。OCP PSL封裝包含四個(gè)不同的層，足以支撐驗(yàn)證環(huán)境。該組織表示，對OCP-IP會(huì)員同時(shí)提供支持VHDL和Verilog語言的封裝。

       利用諾基亞的Technology Platforms單元，已經(jīng)完成了初始PSL封包的工作，OCP-IP表示，該封包將被放置在OCP-IP社群，以鼓勵(lì)整個(gè)社群的會(huì)員共享他們的發(fā)現(xiàn)。

       “通過會(huì)員公司的支持和貢獻(xiàn)，如諾基亞公提供的PSL封包，我們能持續(xù)提供方便采用和實(shí)現(xiàn)OCP標(biāo)準(zhǔn)所必要的工具和服務(wù)?！監(jiān)CP-IP總裁Ian Mackintosh表示。