為了幫助IC驗(yàn)證團(tuán)隊(duì)利用符合開放內(nèi)核協(xié)議(Open Core Protocol, OPC)的模塊，OPC國際伙伴關(guān)系(OCP-IP)已經(jīng)發(fā)布了一組功能覆蓋指南作為符合性檢查文件的一部分。該指南現(xiàn)在可以提供給OCP-IP成員。

       功能覆蓋是一種測(cè)量由驗(yàn)證測(cè)試套件生成的仿真品質(zhì)的技術(shù)。指南幫助確保OCP接口符合現(xiàn)有的OCP 2.1規(guī)范，保證IP模塊在系統(tǒng)級(jí)的兼容性。

       “對(duì)于從事OCP驗(yàn)證的人來說，確保你的測(cè)試已經(jīng)完全遍歷協(xié)議是至關(guān)重要的，”Synopsys公司工程師兼OCP-IP功能驗(yàn)證工作組主席Steve McMaster說，“指南為實(shí)現(xiàn)此目標(biāo)提供了一個(gè)框架，它將指引你實(shí)現(xiàn)更為正確和完整的確認(rèn)?！?

       在偽隨機(jī)驗(yàn)證環(huán)境中，功能驗(yàn)證顯示哪些部分的狀態(tài)空間已被覆蓋或未被覆蓋。對(duì)于未被覆蓋的角落，工程師可以繃緊約束或?qū)懺敿?xì)而精確的定向測(cè)試。

       功能覆蓋指南由OCP-IP功能驗(yàn)證工作組編撰，其成員包括來自Jeda Technologies、MIPS、Sonics、Synopsys、TI、TransEDA和Yogitech的代表。該工作補(bǔ)足了在2005年10月由工作組發(fā)布的一組形式符合性檢查指南。

       OCP-IP成員可以從其網(wǎng)站下載一份符合性檢查的文件拷貝。