米Accellera、「検証カバレッジ」の業界標準策定に向けて小委員会を立ち上げ>>初回ミーティングに計17社が参加

2006年12月14日、フォーマル検証ツールを手掛ける、米Jasper Design Automationは、EDA関連の各種標準フォーマットの仕様策定及び推進団体「Accellera」が、検証における「カバレッジ・フォーマット」の業界標準策定に向けて小委員会を立ち上げた事を明らかにした。

プレスリリース：http://www.jasper-da.com/press_releases/121406.htm（英文）

Jasperの発表によるとAccelleraは、検証ツールや検証プロセスに依存しない、業界内で相互運用可能なカバレッジデータ・フォーマットの標準化に向け「UCI（Unified Coverage Interoperability)委員会」を設立。Jasperがホスト役を務め2006年10月に最初のミーティング「Coverage Interoperability Forum」が行われた。

フォーラムには、検証系ツールを手掛けるEDAベンダをはじめ、大手半導体ベンダを含む下記計17社が参加。既に公式サイトも開設されており、フォーラムでのプレゼンテーション資料などをダウンロードする事ができる。
※http://www.coverageforum.org

?AMD
?Cadence Design Systems
?Denali
?D.E. Shaw
?Freescale
?Hewlett Packard
?IBM
?Jasper Design Automation
?Nokia
?Novas Software
?NVIDIA
?Poseidon Design Systems
?Real Intent
?Sony
?Sun Microsystems
?Texas Instruments
?Verification Central

今後、「UCI委員会」の活動は、「Accellera」の活動の一部として進められ、まずは、カバレッジ・データの相互運用のアウトラインとなる、必要要件の調査・取りまとめを開始する予定だという。

※Accellera
http://www.accellera.org

※Jasper Design Automation社
http://www.jasper-da.com