OCP-IPにフォーマル検証ツールのAverantを含む計5者が新たに加盟

2007年9月12日、オープンコアプロトコル（OCP）の普及団体OCP-IPは、同組織に新たに加わったの新メンバー5者を発表した。

新メンバー5者は以下の通り、EDAの分野からはフォーマル検証ツールを手掛ける「米Averant」が加入した。

◆Averant社：フォーマル検証ツール「Solidify」、「SolidCheck」の他にAMBAバス専用のプロトコル・チェッカー「Solid PC」を提供。
http://www.averant.com

◆HDL Dynamics社：SoC及びIPの設計/設計コンサルティングサービスを提供

◆KETI（Korea Electric Testing Institute）：韓国の電気電子分野の認証機関。各種試験や研究活動も実施。
http://www.keti.re.kr

◆PLS社：16bit/32bitマイクロコントローラ向け開発ツールを提供。
http://www.pls-mc.com

◆Silicon Laboratories社：8ビットマイコンを中心とした半導体ベンダ
http://www.silabs.com