OCP-IP、ケイデンスのOCPプロトコル検証IP「ABVIP」をサポート>>シミュレーション及びフォーマル検証で活用可能

2007年7月9日、オープンコアプロトコル（OCP）の普及団体OCP-IPは、ケイデンスの提供する検証用IP「ABVIP」をサポートする事を発表した。

「ABVIP」は、OCPプロトコルの検証用に用意されるアサーションベースの検証IPで、シミュレーションにおけるインタフェース モニタリングやフォーマル検証によるコンプライアンス チェックなど、設計初期のテストベンチが無い段階での検証で活用可能。伊Yogitech社の提供するOCP検証コンポーネント「OCP UVC（universal verification component）」と組み合わせて利用する事もできる。

※関連ニュース：
伊Yogitech社、業界初となるe/SystemVerilog両言語をサポートするOCP検証コンポーネントをリリース
https://www.eda-express.com/news/?m=p&idno=677

ケイデンスは、検証を考慮した設計ソリューション「Cadence Logic Design Team Solution ?design with verification?」の機能の一つとして、今年の5月に「Incisive Verification Library(IVL)」および「Incisisve Assertion Library(IAL)」2種類の検証用IPをリリースしており、PCI-Express、AMBA、PCIX、USB2.0といったプロトコルの検証を既にサポートしている。今回発表された「ABVIP」も恐らくはこれら検証IP戦略の一環として開発されたもので、OCP-IPとしてはOCPの普及に繋がる重要なソリューションとして、これを歓迎している。

尚、「ABVIP」は有償IPとしてケイデンスから提供される製品で、その米国販売価格は、1ユニット年間15000ドルとなっている。

※「ABVIP」に関する詳細は、日本ケイデンス・デザイン・システムズ社にお問い合わせ下さい。
http://www.cadence.co.jp

※OCP-IP日本語ページ
http://www.ocpip.org/japanese