シノプシスのDesignWare Verification IP for Open Core Protocol(OCP)は、OCP2.0/2.1/2.2に準拠したデザインの機能検証を迅速かつ効率的に実行できる検証用IP(VIP)です。OCP向けVIPは、OCPに準拠したシステムやコアのマスタおよびスレーブ・デバイスの検証が可能で、OCP2.0の機能仕様の第16章に定義されている「機能カバレッジ」に則した検証を完全に実行することができます。DesignWare VIPは、OCP International Partnership (OCP-IP)により承認されており、OCP-IP会員向けに提供されている検証ソリューションCoreCreator IIに含まれています。また、SystemVerilogのカバレッジ・ドリブン手法や制約に基づくランダム・スティミュラス生成などが定義されたVerification Methodology Manual for SystemVerilog（VMM）にも準拠しています。